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

The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable

โœ Scribed by Gurari, Eitan M.


Book ID
118174087
Publisher
Society for Industrial and Applied Mathematics
Year
1982
Tongue
English
Weight
564 KB
Volume
11
Category
Article
ISSN
0097-5397

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