ω-automaton

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
Technical Machine
gptkbp:allows infinite words
gptkbp:describedBy academic literature
gptkbp:generalizes finite automaton
gptkbp:hasInputAlphabet infinite sequence
gptkbp:hasProperty acceptance condition
state transition system
gptkbp:hasType gptkb:Rabin_automaton
gptkb:Muller_automaton
gptkb:Büchi_automaton
gptkb:Streett_automaton
gptkb:Parity_automaton
https://www.w3.org/2000/01/rdf-schema#label ω-automaton
gptkbp:output accept or reject infinite word
gptkbp:relatedTo finite automaton
gptkbp:studiedIn automata theory
gptkbp:usedFor formal verification
model checking
gptkbp:usedIn theoretical computer science
gptkbp:bfsParent gptkb:Büchi_automaton
gptkbp:bfsLayer 6