Title :
A characterization of two-way deterministic of classes languages
Author :
Aho, A.V. ; Ullman, J.D.
Abstract :
It is shown that a class of languages is defined by a class of two-way deterministic balloon automata if and only if that class is closed under marked union, marked Kleene closure and the inverse mappings performed by GSM´s that move two ways on the input. Hence, the context sensitive languages and various time and tape complexity classes are equivalent to classes of 2DBA.
Keywords :
Automata; Automatic control; Laboratories; Magnetic heads; Motion control; Storage automation; Telephony;
Conference_Titel :
Switching and Automata Theory, 1969., IEEE Conference Record of 10th Annual Symposium on
Conference_Location :
Waterloo, ON, Canada
DOI :
10.1109/SWAT.1969.1
