Assertion: robot's input | /r/HasProperty | processed
Facets:
Source sentences:
text: Q × Σ → Q. q 0 is the start state , that is, the state of the automaton before any input has been processed, where q 0 ∈ Q.
text: is the , that is, the state of the automaton before any input has been processed, where q ∈ Q. F is a set of states of Q (i.e. F⊆Q) called accept states.