𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Two definitions of the equivalence of automata

✍ Scribed by Ryszard Nowakowski


Publisher
Springer Netherlands
Year
1970
Tongue
English
Weight
388 KB
Volume
26
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The equivalence problem for deterministi
✍ Malcolm Bird πŸ“‚ Article πŸ“… 1973 πŸ› Elsevier Science 🌐 English βš– 715 KB

A decision procedure is described for equivalence of deterministic two-tape (oneway) automata. ## l. INTRODUCTION The notion of an n-tape (one-way, deterministic) automaton was introduced by Rabin and Scott [2]. Although the properties of these devices have been studied extensively, no answer has

Weak equivalence of automata
✍ I. K. Rystsov πŸ“‚ Article πŸ“… 1991 πŸ› Springer US 🌐 English βš– 634 KB