Assertion: linear bounded automaton | /r/HasProperty | abbreviated lba
Facets:
Source sentences:
text: In computer science, a linear bounded automaton (plural linear bounded automata, abbreviated LBA) is a restricted form of Turing machine.