Theory of ω-languages. II: A study of various models of ω-type generation and recognition
- 31 October 1977
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 15 (2) , 185-208
- https://doi.org/10.1016/s0022-0000(77)80005-6
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- ω-Computations on deterministic pushdown machinesJournal of Computer and System Sciences, 1978
- Theory of ω-languagesI: Characterizations of ω-context-free languagesJournal of Computer and System Sciences, 1977
- Strict deterministic grammarsJournal of Computer and System Sciences, 1973
- Decision problems forω-automataTheory of Computing Systems, 1969
- Control sets on grammarsTheory of Computing Systems, 1968
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- A note on asymmetry in phrase structure grammarsInformation and Control, 1964
- On certain formal properties of grammarsInformation and Control, 1959