On the complementation of Büchi automata
- 31 December 1986
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 47, 95-98
- https://doi.org/10.1016/0304-3975(86)90136-2
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Automates boustrophédon et mots infinisTheoretical Computer Science, 1985
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966