Assertion: state machine | /r/HasProperty | a quintuple
Facets:
Source sentences:
text: A deterministic finite-state machine or deterministic finite-state acceptor is a quintuple ( Σ , S , s 0 , δ , F ) {