Theories of automata on ω-tapes: A simplified approach

Journal of Computer and System Sciences

Volumn 8, Issue 2, 1974, Pages 117-141

  Choueka, Yaacov ^a  

^a BAR ILAN UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

EID: 0016048965     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/S0022-0000(74)80051-6     Document Type: Article

References (11)

1. Weak second-order arithmetic and finite automata
2. On a Decision Method in Restricted Second-Order Arithmetic
3. Decision methods in the theory of ordinals
4. Finite Automata on Infinite Structures
5. Decision problems of finite automata design and related arithmetics
6. Testing and generating infinite sequences by a finite automaton
7. Regular expressions and state graphs for automata
8. Infinite Sequences and Finite Machines, Switching Circuit Theory and Logical Design
9. Finite automata and their decision problems
10. Decidability of second-order theories and automata on infinite trees
11. Automata on Infinite Objects and Church's Problem