Assertion: machine | /r/HasProperty | coupled with finite automaton
Facets:
Source sentences:
text: Other variants on the standard Turing machine model that yield small UTMs include machines with multiple tapes or tapes of multiple dimension, and machines coupled with a finite automaton.