𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Transducers and the decidability of independence in free monoids

✍ Scribed by H. Jürgensen; K. Salomaa; S. Yu

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
786 KB
Volume
134
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of Unification in the Theor
Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit
✍ Manfred Schmidt-Schauß 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 683 KB

Unification in the equational theory of one-sided distributivity and a multiplicative unit is shown to be decidable. The algorithm is a non-deterministic one that eventually uses a decision algorithm for string unification problems with constant restrictions, which was shown to be decidable by K. Sc

The calibration and use of pressure tran
The calibration and use of pressure transducers in tensiometer systems
✍ James R. Hoelscher; William K. Nuttle; Judson W. Harvey 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 477 KB

## Abstract The uncertainty in a transducer/tensiometer system was assessed with temperature and pressure calibrations. A reference transducer/tensiometer pair was used to factor out temperature related deviations from two monitoring pairs. The reference pair removed most of the deviations, resulti