Assertion: machine's state | /r/CapableOf | perform same function
Facets:
Source sentences:
text: Optimizing an FSM means finding a machine with the minimum number of states that performs the same function.