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