X-automata on ω-words
- 15 March 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 110 (1) , 1-51
- https://doi.org/10.1016/0304-3975(93)90349-x
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Look-ahead on pushdownsInformation and Computation, 1987
- Two characterizations of rational adherencesTheoretical Computer Science, 1986
- Characterization of ω-regular languages by first-order formulasTheoretical Computer Science, 1983
- Adherences of languagesJournal of Computer and System Sciences, 1980
- On the hierarchy of Petri net languagesRAIRO. Informatique théorique, 1979
- ω-Computations on Turing machinesTheoretical Computer Science, 1978
- Remarks on blind and partially blind one-way multicounter machinesTheoretical Computer Science, 1978
- ω-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
- Decision problems forω-automataTheory of Computing Systems, 1969