ω-Computations on deterministic pushdown machines
- 1 June 1978
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 16 (3) , 275-300
- https://doi.org/10.1016/0022-0000(78)90019-3
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Theory of ω-languages. II: A study of various models of ω-type generation and recognitionJournal of Computer and System Sciences, 1977
- Theory of ω-languagesI: Characterizations of ω-context-free languagesJournal of Computer and System Sciences, 1977
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Strict deterministic grammarsJournal of Computer and System Sciences, 1973
- Decision problems forω-automataTheory of Computing Systems, 1969
- A regularity test for pushdown machinesInformation and Control, 1967
- Deterministic context free languagesInformation and Control, 1966
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966