Assertion: deterministic finite automaton | /r/HasProperty | dispensed
Facets:
Source sentences:
text: Formally, the definition of a probabilistic automaton does not require the mechanics of the non-deterministic automaton, which may be dispensed with.