Assertion: linear bounded automaton | /r/HasProperty | device
Facets:
Source sentences:
text: A linear bounded automaton is a device which is more powerful than a pushdown automaton but less so than a Turing machine.[note 2]