Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Technical_Machine
|
| gptkbp:acceptanceCondition |
Streett condition
|
| gptkbp:allows |
omega-regular languages
|
| gptkbp:field |
gptkb:theoretical_computer_science
|
| gptkbp:hasDual |
gptkb:Rabin_automaton
|
| gptkbp:input |
infinite words
|
| gptkbp:introducedIn |
1982
|
| gptkbp:namedAfter |
gptkb:Robert_E._Streett
|
| gptkbp:relatedTo |
gptkb:Rabin_automaton
gptkb:Büchi_automaton gptkb:parity_automaton |
| gptkbp:stateType |
finite state
|
| gptkbp:type |
gptkb:omega-automaton
|
| gptkbp:usedIn |
formal verification
model checking |
| gptkbp:bfsParent |
gptkb:Rabin_automaton
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Streett automaton
|