Complementation of Büchi automaton (Q5156431)
Jump to navigation
Jump to search
task of complementing a Büchi automation
Language | Label | Description | Also known as |
---|---|---|---|
English | Complementation of Büchi automaton |
task of complementing a Büchi automation |