expressivePowerEquivalentTo
P174812
predicate
Indicates that two systems, formalisms, or languages can represent or compute exactly the same set of behaviors, functions, or properties, making them equal in expressive capability.
Sample triples (3)
| Subject | Object |
|---|---|
| Rabin automaton | deterministic parity automaton ⓘ |
| Rabin automaton | deterministic Muller automaton ⓘ |
| Rabin automaton | nondeterministic Büchi automaton ⓘ |