canRecognizeAllLanguagesOf
P174811
predicate
Indicates that one entity has the ability to recognize every language associated with another entity.
Sample triples (1)
| Subject | Object |
|---|---|
| Rabin automaton | nondeterministic Büchi automaton ⓘ |