DocumentCode
2200607
Title
A characterization of two-way deterministic of classes languages
Author
Aho, A.V. ; Ullman, J.D.
fYear
1969
fDate
15-17 Oct. 1969
Firstpage
231
Lastpage
239
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Switching and Automata Theory, 1969., IEEE Conference Record of 10th Annual Symposium on
Conference_Location
Waterloo, ON, Canada
ISSN
0272-4847
Type
conf
DOI
10.1109/SWAT.1969.1
Filename
4569619
Link To Document