Assertion: machine's state | /r/HasProperty | \displaystyle s
Facets:
Source sentences:
text: If an FSM M {\displaystyle M} is in a state s {\displaystyle s} , the next symbol is x {\displaystyle x} and δ ( s , x ) {