Изменения

|definition = '''Линейно ограниченный автомат''' (англ. ''linear bounded automata'', ''(lba)'' ) — недетерминированная одноленточная [[Машина Тьюринга|машина Тьюринга]], которая никогда не покидает те ячейки, на которых размещен ее ввод.}}

|definition = '''Линейно ограниченный автомат''' (англ. ''linear bounded automata'', ''(lba)'' ) — формальная система <tex>M = \langle Q, \Sigma, \Gamma, \delta, q_0, F \rangle</tex>, в которой*<tex>Q</tex> — множество состояний.,*<tex>q_0 \in Q</tex> — начальное состояние.,*<tex>F \subset Q</tex> — множество конечных состояний.,*<tex>\Gamma</tex> — алфавит допустимых символов ленты.,*<tex>\Sigma \subset \Gamma</tex> — алфавит входных символов, который содержит два особых символа: <tex>\#</tex> и <tex>\$</tex> — левый и правый маркеры, находящиеся с самого начала на концах входной цепочки для того, чтобы предотвращать выход головки ленты за пределы участка, на котором размещается входная цепочка (считается, что маркеры могут использоваться только в этой роли: на место маркера нельзя записать какой-нибудь другой символ ленты, и никакой символ ленты не может быть заменен каким-нибудь маркером).,