Assertion: ω automaton | /r/HasAspect | a transition function
Facets:
Source sentences:
text: Unlike a deterministic ω-automaton, which has a transition function δ, the non-deterministic version has a transition relation Δ. Note that Δ can be regarded as a function : Q × Σ → P(Q) from Q × Σ to the power set P(Q).