producesAutomatonWith
P167256
predicate
Indicates that one entity creates or generates an automaton that is associated with or used by another entity.
Observed surface forms (1)
- hasAutomataTheoreticCorrespondence ×2
Sample triples (6)
| Subject | Object |
|---|---|
| Glushkov construction | a unique initial state ⓘ |
| Glushkov construction | no ε-transitions ⓘ |
| Glushkov construction | states corresponding to positions of symbols in the regular expression ⓘ |
| Glushkov construction | transition structure derived from symbol positions ⓘ |
| LTL | Büchi automata via predicate surface "hasAutomataTheoreticCorrespondence" NERFINISHED ⓘ |
| LTL | ω-automata via predicate surface "hasAutomataTheoreticCorrespondence" ⓘ |