Автомат из символов, Автомат с магазинной памятью — Википедия
После холодной войны калашников стал для русских главной статьей экспорта, уже потом идут водка, икра и писатели-самоубийцы», — так красноречиво расхваливал свой товар герой Николаса Кейджа в фильме «Оружейный барон». Увеличение: 30x при расстоянии 5 м. Если бой идет в руинах Сталинграда и есть возможность заменить карабин Mauser на русский пистолет-пулемет, то ППШ — лучший вариант.
Нетрудно проверить, что при задании входной цепочки aabbb автомат не сможет закончить работу. Следовательно эта цепочка не принадлежит языку, допускаемому автоматом M 1. Магазинный автомат М 2 , заданный следующим описанием:. Работу автомата рассмотрим для входной цепочки abba. Если использовать последовательность команд 1 , 4 , 6. Если же использовать последовательность команд 1 , 4 , 6. В общем случае справедливо следующее утверждение.
Построение магазинного автомата. В основе доказательства лежит способ построения магазинного автомата по заданной КС-грамматике.
Чтобы сделать процесс построения автомата более простым и наглядным, условимся использовать магазинные автоматы с одним состоянием s 0.
Определим компоненты автомата М следующим образом:. Для перехода в конечное состояние построим команду.
Начальную конфигурацию автомата определим в виде:. Автомат, построенный по приведенным выше правилам, работает следующим образом. Если в вершине магазина находится терминал, и символ, читаемый с входной ленты, совпадает с ним, то по команде типа 2 терминал удаляется из магазина, а входная головка сдвигается.
Если же в вершине магазина находится нетерминал, то выполняется команда типа 1 , которая вместо терминала записывает в магазин цепочку, представляющую собой правую часть правила грамматики. Следовательно, автомат, последовательно заменяя нетерминалы, появляющиеся в вершине магазина, строит в магазине левый вывод входной цепочки, удаляя полученные терминальные символы, совпадающие с символами входной цепочки.
Это означает, что каждая цепочка, которая может быть получена с помощью левого вывода в грамматике Г, допускается построенным автоматом М. Пример построения автомата. Для всех терминальных символов строим команды типа 2 :.
Для перехода в конечное состояние построим команду:. Построенный автомат является недетерминированным. Последовательность тактов работы построенного автомата, показывающая, что заданная цепочка допустима, имеет вид:.
Отметим, что последовательность правил, используемая построенным автоматом, соответствует левому выводу входной цепочки:. Если по такому выводу строить дерево, то построение будет происходить сверху вниз, то есть от корня дерева к листьям. Такой способ построения дерева по заданной цепочке называется нисходящим. Магазинные автоматы называют часто распознавателями, поскольку они определяют, является ли цепочка, подаваемая на вход автомата, допустимой или нет, и следовательно, отвечают на вопрос, принадлежит ли эта цепочка языку, пораждаемому грамматикой, использованной для построения автомата.
Учитывая характер построения вывода в магазине, автоматы рассмотренного типа называют нисходящими распознавателями. Еще раз подчеркнем, что доказательство допустимости цепочки нисходящим магазинным автоматом НМА предусматривает поиск определенной последовательности конфигураций.
Такой поиск может существенно увеличить время работы автомата. Детерминированные автоматы не требуют поиска и работают быстрее, поэтому именно такие автоматы применяются на практике. Детерминированные автоматы-распознаватели могут быть построены не для всех, а только для некоторых видов КС-грамматик. Если язык L допускается детерминированным М-автоматом , то он называется детерминированным языком. Класс языков, распознаваемых автоматами с магазинной памятью, совпадает с классом контекстно-свободных языков.
В чистом виде автоматы с магазинной памятью используются крайне редко. Обычно эта модель используется для наглядного представления отличия обычных конечных автоматов от синтаксических грамматик. Реализация автоматов с магазинной памятью отличается от конечных автоматов тем, что текущее состояние автомата сильно зависит от любого предыдущего.
Существуют детерминированные и недетерминированные автоматы с магазинной памятью. Для недетерминированных автоматов в отличие от детерминированных существует два эквивалентных критерия завершения работы:.
Материал из Википедии — свободной энциклопедии. Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии , проверенной 2 июля года; проверки требует 1 правка. Yk then удалить X из магазина ; поместить Yk , Yk - 1 , Формальные языки и формальные грамматики. Иерархия Хомского Алфавит Слово.
