DocumentCode :
3263097
Title :
Classes of automata and transitive closure
Author :
Jones, Neil D.
fYear :
1967
fDate :
18-20 Oct. 1967
Firstpage :
296
Lastpage :
306
Abstract :
A study is made of the classes of predicates accepted by three types of multitape Turing machine. In order of decreasing acceptance powers, these are the general Turing machine, the Linear-Bounded Automaton, and the multitape two-way nonwriting automaton. Each class is shown to consist of all and only those predicates which can be defined by a corresponding class of predicate calculus formulas based on one-sided catenation with letters, and involving as logical operators conjunction, disjunction, and a type of transitive closure on predicates of 2n variables.
Keywords :
Automata; Calculus; Computer science; Turing machines; Zinc;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Switching and Automata Theory, 1967. SWAT 1967. IEEE Conference Record of the Eighth Annual Symposium on
Conference_Location :
Austin, TX, USA
Type :
conf
DOI :
10.1109/FOCS.1967.7
Filename :
5397194
Link To Document :
بازگشت