๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Decidable properties for monadic abstract state machines

โœ Scribed by D. Beauquier


Book ID
103811439
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
266 KB
Volume
141
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The decidability of a mapping problem fo
โœ Kenneth B. Salomon ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 947 KB

The following problem is shown to be decidable for arbitrary regular sets R i and Rz : Does there exist a generalized sequential machine with final states which maps R 1 onto R2 ? In the development of the solution a graphical interpretation of bounded and unbounded regular sets is presented. Also,