Assertion: linear bounded automaton | /r/CapableOf | satisfy following three conditions
Facets:
Source sentences:
text: A linear bounded automaton is a nondeterministic Turing machine that satisfies the following three conditions: