Assertion: ω automaton | /r/HasProperty | nondeterministic ω-automaton
Facets:
value: by taking δ
type: MANNER
Source sentences:
text: Every deterministic ω-automaton can be regarded as a nondeterministic ω-automaton by taking Δ to be the graph of δ.