On the complementation of Büchi automata
From MaRDI portal
Publication:1822512
DOI10.1016/0304-3975(86)90136-2zbMath0618.68068MaRDI QIDQ1822512
Publication date: 1986
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(86)90136-2
68Q45: Formal languages and automata
Related Items
Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems, On the complementation of asynchronous cellular Büchi automata, Using automata theory for characterizing the semantics of terminological cycles