W12. Построение Томпсона, алгоритм Клини, иерархия Хомского и вычислимость

Автор

Manuel Mazzara

Дата публикации

9 апреля 2026 г.

1. Краткое содержание

1.1 Построение Томпсона: RegExp → ε-NFSA

1.1.1 Мотивация и обзор

Для RegExp над алфавитом часто нужно вычислительное устройство — конечный автомат, который принимает ровно тот язык, который задаёт выражение. Построение Томпсона (Thompson’s Construction) — классический алгоритм, который превращает любое RegExp в эквивалентный ε-недетерминированный конечный автомат (ε-NFSA). Полученный автомат затем можно использовать для сопоставления строк с исходным RegExp; именно так внутри устроены большинство regex engines.

Алгоритм работает рекурсивно: RegExp разбивается на подвыражения, для каждого строится фрагмент автомата, а фрагменты собираются по фиксированным правилам композиции. Каждое подвыражение даёт автомат с ровно одним начальным и одним принимающим состоянием (без входящих в начальное и исходящих из принимающего переходов «снаружи» фрагмента). Такая дисциплина структуры упрощает рекурсивную склейку.

1.1.2 Базовые правила

Есть два базовых случая для атомарных регулярных выражений.

Пустое выражение . RegExp (распознаёт только пустую строку) превращается в двухсостоятельный автомат: начальное состояние и принимающее , соединённые одним -переходом.

Правило Томпсона для ε: один ε-переход

Один символ . Символ входного алфавита превращается в двухсостоятельный автомат с одним переходом по из в .

Правило Томпсона для одного символа a

1.1.3 Правила композиции

Пусть для подвыражений и построены автоматы и . Три правила покрывают все составные выражения.

Конкатенация . Принимающее состояние сливается с (или соединяется -переходом с) начальным состоянием . Итоговый автомат начинается там же, где , и принимает там же, где . Неформально: сначала читается строка из , затем строка из .

Правило Томпсона для конкатенации st: два фрагмента соединяются конец-к-началу

Объединение . Вводится новое начальное состояние с двумя -переходами в начала и . Вводится новое принимающее , и из принимающих состояний обоих фрагментов идут -переходы в . Автомат недетерминированно выбирает, какую ветвь развивать.

Правило Томпсона для объединения s|t: новое начало ветвится, обе ветки сходятся в новое принимающее

Звезда Клини . Вводятся новые (старт) и (принимающее состояние). -переход соединяет напрямую с (ноль повторений). -переход ведёт из в начало , а из принимающего — обратно в начало (повторения) и вперёд в .

Правило Томпсона для звезды Клини s*: петля с конца N(s) к началу плюс обход для нуля повторений

1.1.4 Свойства построения

У ε-NFSA, полученного построением Томпсона, есть полезные структурные свойства: не более состояний для выражения длины ; из каждого состояния не более двух исходящих -переходов; ни один -переход не входит в общее начальное и не выходит из общего принимающего. Это гарантирует корректность шагов композиции на каждом уровне рекурсии.

1.2 Алгоритм Клини: от FSA к регулярному выражению

1.2.1 Обзор

Обратная задача — по конечному автомату найти регулярное выражение для его языка — решается алгоритмом Клини (Kleene’s Algorithm) (в вариантах его называют также алгоритмом исключения состояний). Дан FSA с состояниями ; алгоритм систематически вычисляет для каждой пары и каждого множество :

$в с е с т р о к и п о к о т о р ы м п е р е х о д и т и з в б е з п р о х о д а ч е р е з с о с т о я н и я с и н д е к с о м$

Каждое такое множество представляется регулярным выражением. Выражения вычисляются по шагам для .

Так как ни одно состояние не имеет индекса больше , выражение описывает все строки, ведущие из старта в без ограничения на промежуточные состояния. Если — множество принимающих, то:

1.2.2 Начальные выражения ()

При пути не используют промежуточные состояния — только прямые переходы:

$г д е д л я в с е х$

$е с л и н е т п р я м о г о п е р е х о д а и з в$

в случае петли на себя отражает возможность сделать ноль шагов (остаться в ).

1.2.3 Рекурсивный шаг

Когда для всех пар вычислены , следующий уровень:

Наглядно: путь из в с использованием состояний с индексом не выше либо (a) никогда не заходит в (это ), либо (b) впервые попадает в по , затем ноль или более раз «крутится» в через , и после последнего ухода из идёт к по .

Эта рекуррентная формула — сердце алгоритма; применение для по порядку в итоге даёт для каждого принимающего .

1.3 Модели языков: операционные и порождающие

1.3.1 Два основных подхода

Формальные языки можно описывать двумя принципиально разными способами:

Операционные модели (автоматы) получают входную строку и решают, допустить её или отвергнуть. Это распознаватели или преобразователи. Примеры: FSA, PDA, машина Тьюринга.
Порождающие модели (грамматики) задают набор правил переписывания, с помощью которых можно вывести (породить) все и только строки языка. Грамматика не «обрабатывает» вход — она порождает выход.

Оба подхода описывают одни и те же объекты (формальные языки), но с противоположных сторон. У каждого свои плюсы: автоматы ближе к реализации, грамматики — к спецификации.

1.3.2 Грамматики в разборе

В построении компиляторов эти перспективы встречаются в разборе (parsing):

Грамматика (обычно контекстно-свободная или её запись в BNF) задаёт синтаксис языка программирования — как должны выглядеть синтаксически корректные программы.
Автомат (парсер) обрабатывает исходный код — читает поток лексем и проверяет соответствие грамматике, восстанавливая синтаксическую структуру для следующих фаз компиляции.

Грамматики в общем случае могут быть недетерминированными, но реальные генераторы парсеров (например LL(1), LR(1)) накладывают ограничения на грамматику и используют ограниченный предпросмотр для детерминированного разбора.

1.4 Иерархия Хомского

1.4.1 Классификация грамматик

Ноам Хомский (р. 1928), «отец современной лингвистики», в 1959 году ввёл формальную классификацию грамматик. Он заметил, что грамматики различаются формой продукций, и от формы зависит класс порождаемых языков. Классификация даёт четыре вложенных типа.

Иерархия Хомского: вложенные классы языков, типы грамматик и соответствующие автоматы

Четыре типа образуют строгую иерархию: каждый регулярный язык контекстно-свобод, каждый КСЯ — контекстно-зависим, каждый КЗЯ — рекурсивно перечислим. Вложения строгие — в каждом классе есть языки не из предыдущего.

1.4.2 Формальное определение грамматики

Грамматика — четвёрка , где:

— конечное множество нетерминалов (переменных);
— конечное множество терминалов (алфавит порождаемых строк), не пересекающееся с ;
— конечное множество продукций (правил переписывания);
— аксиома (стартовый символ).

Вывод — последовательность строк , где на каждом шаге подстрока заменяется по правилу из . Язык, порождённый :

То есть множество всех терминальных цепочек, выводимых из аксиомы.

1.5 Типы грамматик подробнее

1.5.1 Тип 0: неограниченные грамматики

Грамматики типа 0 (общие, неограниченные) накладывают на правила только требование непустоты левой части:

И , и — произвольные цепочки терминалов и нетерминалов. Запрет не даёт «создавать символы из ничего». Все остальные типы — частные случаи типа 0.

Грамматикам типа 0 соответствуют машины Тьюринга — они порождают в точности рекурсивно перечислимые языки (те, что TM может допустить, хотя на строках вне языка может зациклиться).

1.5.2 Тип 1: контекстно-зависимые грамматики

Грамматики типа 1 (контекстно-зависимые) требуют, чтобы каждое правило имело вид:

где — нетерминал, и — (возможно пустые) цепочки, — непустая цепочка. Ключевое ограничение: непуста — правила не «стирают» нетерминалы (грамматика не сокращающая / монотонная в смысле длины). Термин контекстно-зависимый отражает, что нетерминал переписывается только в контексте слева и справа.

Канонический пример — , который не выводится ни одной КС-грамматикой (наглядно: одного стека недостаточно, чтобы одновременно сопоставить с и с ). Соответствующая машинная модель — линейно ограниченный автомат (LBA) — машина Тьюринга, у которой головка ограничена участком ленты, занятым входом.

Почему «линейно ограничен»? Длина используемой ленты — линейная функция от длины входа . Например, даёт две ячейки на символ входа. Такое ограниченное рабочее пространство соответствует не сокращающему свойству КЗ-грамматик.

1.5.3 Тип 2: контекстно-свободные грамматики

Грамматики типа 2 (КС-грамматики, CFG) требуют, чтобы слева в каждом правиле был ровно один нетерминал:

где , . Переписывание не зависит от контекста — какие бы символы ни окружали , применим один и тот же набор правил. В этом смысл «контекстно-свободно».

КС-грамматики критически важны на практике: они эквивалентны форме Бэкуса — Наура (BNF), которой задают синтаксис почти всех языков программирования. Связь обнаружили в 1960 году: язык ALGOL-60, описанный Бэкусом и Науром в BNF, формально совпадает с контекстно-свободными языками Хомского.

BNF записывает правила как <ЛЧ> ::= <ПЧ>, где <ЛЧ> — нетерминал, <ПЧ> — любая последовательность терминалов и нетерминалов. Например, <expr> ::= <expr> + <term> | <term> задаёт выражения как суммы или одиночные слагаемые.

Контекстно-свободные языки распознаются недетерминированными автоматами с магазином (NPDA). Стек даёт ровно «один уровень вложенности», нужный для скобок и языков вида .

1.5.4 Тип 3: регулярные грамматики

Грамматики типа 3 (регулярные) накладывают самые жёсткие ограничения: все правила либо праволинейные, либо леволинейные — но не смешанные в одной грамматике.

Праволинейная грамматика допускает только правила вида:

(цепочка терминалов и не более одного нетерминала справа), или
(только терминалы).

Леволинейная грамматика допускает только:

, или
.

Грамматика регулярна, если все продукции праволинейные или все леволинейные; смешивать ориентации в одной грамматике нельзя. Регулярные грамматики порождают в точности регулярные языки — те же, что допускаются конечными автоматами (FSA) и задаются регулярными выражениями.

1.6 Соответствие между грамматиками и автоматами

1.6.1 Регулярные грамматики и FSA эквивалентны

Эквивалентность регулярных грамматик (RG) и FSA конструктивна в обе стороны.

От FSA к RG. Дан FSA , построим :

(каждое состояние — нетерминал);
(входной алфавит — терминалы);
(начальное состояние — аксиома);
для каждого перехода добавить правило ;
для каждого добавить .

Инвариант: тогда и только тогда, когда .

От RG к FSA. Дана , построим :

(нетерминалы — состояния; добавить отдельное принимающее состояние);
;
;
;
для каждого добавить ;
для каждого (без хвостового нетерминала) добавить .

Так подтверждается, что регулярные грамматики, FSA и регулярные выражения — три эквивалентных формализма для одного семейства языков.

1.6.2 КС-грамматики и NPDA эквивалентны

Контекстно-свободные грамматики эквивалентны недетерминированным автоматам с магазином. Доказательство — теоретическое ядро построения компиляторов. Наглядно: NPDA может моделировать левый вывод КС-грамматики, храня текущую сентенциальную форму в стеке. Если на вершине нетерминал , NPDA недетерминированно применяет одно из правил для (заменяя в стеке на правую часть). Если на вершине терминал , NPDA читает входной символ и проверяет совпадение.

Обратно, любой NPDA можно преобразовать в эквивалентную КС-грамматику (это сложнее, но тоже конструктивно). Поэтому:

$к о н т е к с т н о с в о б о д н ы е я з ы к и я з ы к и д о п у с к а е м ы е$

1.6.3 Неограниченные грамматики и машины Тьюринга эквивалентны

Общие (неограниченные) грамматики и машины Тьюринга задают один и тот же класс языков — рекурсивно перечислимые. По общей грамматике TM может моделировать выводы, недетерминированно применяя продукции. По TM общая грамматика может кодировать смены конфигураций как переписывания. Так закрепляется вершина иерархии Хомского.

1.6.4 Линейно ограниченный автомат

Линейно ограниченный автомат (LBA) — машина Тьюринга с ключевым ограничением: головка чтения/записи остаётся в пределах участка ленты, занятого входной строкой (между маркерами конца [ и ]). Клетки за пределами входа недоступны.

Длина доступной ленты — линейная функция от — отсюда название. LBA для входа длины использует не более ячеек при некоторой константе . Это ограниченное рабочее пространство соответствует не сокращающему свойству КЗ-грамматик. LBA распознают в точности контекстно-зависимые языки.

1.7 Проблема соответствия Поста

1.7.1 Определение

Проблема соответствия Поста (Post Correspondence Problem, PCP), введённая Эмилем Постом в 1946 году, — один из простейших примеров неразрешимой задачи. В теории вычислимости её часто используют как ступеньку для доказательства неразрешимости других задач (сведением к PCP).

Вход: два списка и строк над некоторым алфавитом.

Вопрос: существует ли конечная последовательность индексов (каждый в , ) такая, что:

То есть конкатенация выбранных строк из в этом порядке совпадает с конкатенацией строк из в том же порядке. Пара называется парой соответствия.

1.7.2 Задача неразрешима

Не существует алгоритма, который для произвольного входа PCP всегда отвечает, есть ли решение. Иными словами, нет машины Тьюринга, которая по любому экземпляру всегда останавливается и выдаёт «да», если решение есть, и «нет», если его нет. PCP неразрешима (как проблема останова), но формулируется проще — без явной отсылки к машинам Тьюринга или программам.

1.8 Теория вычислимости

1.8.1 Два центральных вопроса

Теория вычислений ставит два фундаментальных вопроса:

Математический: что вообще можно вычислить? — существует ли механическая процедура для этой задачи?
Инженерный: насколько эффективно можно вычислить? — сколько времени или памяти нужно алгоритму?

Теория вычислимости отвечает на первый вопрос. Она изучает пределы механического решения задач: какие задачи разрешимы на любой вычислительной модели и какие нет — независимо от мощности устройства или выделенного времени.

Удобная метафора: теория вычислимости изучает «скорость света» информатики — фундаментальный предел, который не преодолеть вычислением. Как физические законы ограничивают возможное, так и пределы вычислимости ограничивают математически разрешимое.

1.8.2 Тезис Чёрча — Тьюринга

Тезис Чёрча — Тьюринга (Church-Turing Thesis) — центральное утверждение теории вычислимости. Неформально:

Любая функция, которую можно эффективно вычислить конечной пошаговой процедурой, вычислима машиной Тьюринга.

Это тезис, а не теорема: неформальное «эффективно вычислить» не является математическим определением. Тезис нельзя доказать, только подкрепить: у каждой предложенной модели вычислений (λ-исчисление, частично рекурсивные функции, RAM-машины, квантовые компьютеры и т.д.) либо доказана эквивалентность по выразительности машинам Тьюринга, либо строго меньшая мощность.

Практический вывод: чтобы показать, что задачу нельзя решить никаким алгоритмом, достаточно показать, что её не решает машина Тьюринга.

1.8.3 Проблема останова и неразрешимость

Проблема останова — вопрос: для программы и входа , останавливается ли на ? Алан Тьюринг в 1936 году доказал, что в общем случае ни одна машина Тьюринга не решает эту задачу — она неразрешима.

Задача разрешима (её ещё называют рекурсивной или вычислимой), если существует машина Тьюринга, которая:

останавливается и допускает каждый вход из языка задачи, и
останавливается и отвергает каждый вход вне языка.

Задача полуразрешима (рекурсивно перечислима), если TM допускает все положительные входы, но на отрицательных может не остановиться.

Задача неразрешима, если ни одна TM не решает её. Неразрешимые задачи существуют; проблема останова и PCP — классические примеры.

Ландшафт разрешимости: вложенные классы вычислительных задач

2. Определения

Построение Томпсона: алгоритм, переводящий любое регулярное выражение в эквивалентный ε-NFSA путём рекурсивного построения фрагментов для подвыражений и склейки по фиксированным правилам конкатенации, объединения и звезды Клини.
ε-NFSA (ε-недетерминированный конечный автомат): NFSA с -переходами — переходами без чтения входного символа, позволяющими автомату менять состояние «самопроизвольно».
Алгоритм Клини: алгоритм перевода конечного автомата в регулярное выражение путём вычисления для каждой пары состояний и каждой границы на промежуточные состояния выражения — все пути из в через состояния с индексом не больше .
Грамматика: четвёрка , задающая множество правил переписывания (продукций) над нетерминалами и терминалами, из которых из аксиомы выводятся строки языка.
Вывод: последовательность строк , где на каждом шаге подстрока заменяется по одной продукции. Порождённый язык — множество всех терминальных цепочек, выводимых из .
Иерархия Хомского: классификация формальных грамматик (и порождаемых ими языков) на четыре вложенных типа — тип 0 (неограниченные), тип 1 (контекстно-зависимые), тип 2 (контекстно-свободные), тип 3 (регулярные) — с соответствием классам автоматов.
Неограниченная грамматика (тип 0): грамматика без ограничений на продукции кроме . По мощности эквивалентна машинам Тьюринга; порождает рекурсивно перечислимые языки.
Контекстно-зависимая грамматика (тип 1): правила вида (). Нетерминал переписывается в контексте окружающих цепочек. Эквивалентна LBA.
Контекстно-свободная грамматика (тип 2): правила вида — один нетерминал переписывается в произвольную цепочку независимо от контекста. Эквивалентна недетерминированным автоматам с магазином.
Форма Бэкуса — Наура (BNF): нотация для КС-грамматик, задающая синтаксис языков программирования в виде правил <нетерминал> ::= <ПЧ>. Формально эквивалентна CFG.
Регулярная грамматика (тип 3): все правила праволинейные ( или ) или все леволинейные ( или ); смешивать ориентации нельзя. Эквивалентна FSA и регулярным выражениям.
Праволинейная грамматика: каждое правило или ; нетерминал (если есть) всегда справа в правой части.
Леволинейная грамматика: каждое правило или ; нетерминал (если есть) всегда слева в правой части.
Линейно ограниченный автомат (LBA): машина Тьюринга с головкой, ограниченной ячейками, занятыми входом (между маркерами конца). LBA распознают в точности контекстно-зависимые языки.
Разбор (parsing): процесс, в котором автомат (парсер) проверяет, что входная строка (программа) удовлетворяет грамматике (спецификации языка), и восстанавливает синтаксическую структуру.
Проблема соответствия Поста (PCP): задача: по двум спискам строк и одинаковой длины выяснить, существует ли конечная последовательность индексов, при которой конкатенация выбранных строк из совпадает с конкатенацией соответствующих строк из . PCP неразрешима.
Теория вычислимости: раздел теоретической информатики о том, какие задачи могут (и не могут) быть решены механической вычислительной процедурой, независимо от времени и памяти.
Разрешимая задача: существует машина Тьюринга, которая всегда останавливается и корректно отвечает «да» или «нет» на каждый вход.
Полуразрешимая задача: машина Тьюринга допускает все положительные входы, но на отрицательных может не останавливаться. То же: рекурсивно перечислимая.
Неразрешимая задача: ни одна машина Тьюринга не решает задачу; не существует алгоритма, верного на всех входах.
Тезис Чёрча — Тьюринга: утверждение, что всякая интуитивно вычислимая функция вычислима машиной Тьюринга; эквивалентно: машины Тьюринга исчерпывают предел механического вычисления.

3. Формулы

Алгоритм Клини — начальный шаг (): $н е т п р я м о г о п е р е х о д а и з в$
Алгоритм Клини — рекурсивный шаг:
Язык FSA через Клини:
Построение Томпсона — объединение: $н о в о е н а ч а л о и о б а п р и н и м а ю щ и х н о в о е п р и н и м а ю щ е е$
Построение Томпсона — звезда Клини: $н о в о е н а ч а л о п е т л я н а з а д п л ю с о б х о д н о в о е п р и н и м а ю щ е е$

4. Примеры

4.1. Построить ε-NFSA для (Лаба 11, Пример 1)

Постройте ε-NFSA для регулярного выражения по правилам Томпсона.

Показать решение

Шаг 1 — построить . Символ даёт двухсостоятельный автомат:

N(1): автомат для символа 1

Шаг 2 — построить . Аналогично для символа :

N(0): автомат для символа 0

Шаг 3 — построить конкатенацией. Слить с :

N(01): конкатенация N(0) и N(1)

Шаг 4 — построить объединением. Новое начальное с -переходами в начала и , новое принимающее состояние с -переходами от обоих принимающих состояний:

Итоговый автомат имеет состояния с:

(ветвь );
(ветвь ).

Шаг 5 — применить звезду Клини. Новые начальное и принимающее состояние :

(вход в автомат объединения);
(петля для следующего повторения);
(обход при нуле повторений);
(переход в принимающее состояние после одного или более повторений).

Полный N((1|01)*): ε-NFSA по построению Томпсона

Ответ: ε-NFSA имеет 9 состояний и распознаёт в точности — все строки, полученные конкатенацией нуля или более слов из .

4.2. Применить алгоритм Клини к двухсостоятельному FSA (Лаба 11, Пример 2)

Найдите регулярное выражение для языка, принимаемого FSA с состояниями , где — и старт, и единственное принимающее, а переходы: , , .

Двухсостоятельный FSA для примера с алгоритмом Клини

Показать решение

Шаг (начальные выражения).

Просматриваем каждую пару состояний:

: из в по прямым переходам. , символ — петля. Так как : .
: из в . : .
: из в . : .
: из в , нет петли по символу. При и отсутствии петель по символам: .

Шаг (разрешено промежуточное ).

Применяем .

Упрощение: , и . Допускается любое конечное число нулей, в том числе ни одного.
Из в (с петлями) и затем по в .
Переход из в , затем опциональные петли в .
Через по , петли, обратно в по ; либо ноль шагов в .

Шаг (разрешено промежуточное ).

Единственное принимающее — , нужно . Имеем:

Подстановка:

Упрощение: (в том числе ноль повторений шаблона ). Также . Следовательно:

Так как и (два состояния с индексами и ), окончательный ответ — :

Интерпретация: язык состоит из всех строк из и , которые либо (a) содержат только нули (остаёмся в по петлям), либо (b) содержат хотя бы одну единицу и оканчиваются блоком нулей — строки, которые перед концом возвращаются в .

4.3. Построить ε-NFSA для (Лаба 11, Задание 1)

По построению Томпсона постройте ε-NFSA для регулярного выражения .

Показать решение

Шаг 1 — : двухсостоятельный автомат с переходом по .

Шаг 2 — : двухсостоятельный автомат с переходом по .

Шаг 3 — по звезде Клини. Новые старт и принимающее состояние :

(петля);
(выход);
(обход при нуле единиц).

Шаг 4 — конкатенацией. Соединить с , слив принимающее состояние со стартом :

$п е т л я$

ε-NFSA для 01*: переход по 0, затем ноль или более переходов по 1

Автомат принимает в точности строки .

4.4. Построить ε-NFSA для (Лаба 11, Задание 2)

По построению Томпсона постройте ε-NFSA для .

Показать решение

Шаг 1 — объединением. Старт с в начала и , принимающее состояние с от обоих принимающих:

Шаг 2 — конкатенацией с и затем .

Цепочка: принимающее состояние соединяется со стартом , тот — с :

$с л и я н и е с л и я н и е$

Полный автомат: 1. Старт в . 2. Недетерминированно читается или (фрагмент объединения), достигается . 3. Читается , достигается промежуточное состояние. 4. Читается , достигается принимающее состояние .

Допускаются строки длины 3 вида « или », затем : язык .

4.5. Построить ε-NFSA для (Лаба 11, Задание 3)

По построению Томпсона постройте ε-NFSA для .

Показать решение

Шаг 1 — два отдельных для ведущих двух нулей.

Шаг 2 — по правилу объединения (как в задании 2, шаг 1).

Шаг 3 — по звезде Клини: (петля) и , .

Шаг 4 — конкатенацией , и :

$с д о п у с к о м в$

ε-NFSA для 00(0|1)*: два ведущих нуля, затем цикл с любым двоичным суффиксом

Допускаются все строки, начинающиеся с , с любым (в том числе пустым) двоичным продолжением: .

4.6. Применить алгоритм Клини к FSA 1 (Лаба 11, Задание 4)

Найдите регулярное выражение для FSA с состояниями , единственное принимающее — , переходы: (петля), , (петля).

FSA для задания 4: принимающее состояние q₁

Показать решение

Шаг :

(петля по плюс для нуля шагов).
(прямой переход в по ).
(нет перехода из в ).
(петля по ).

Шаг (промежуточное ):

Нужно (путь от старта к допуску ):

Так как : .

Интерпретация: язык — все строки вида (ноль или более единиц), затем (один или более нулей). Автомат принимает строки из любого числа ведущих единиц и хотя бы одного нуля после них.

4.7. Применить алгоритм Клини к FSA 2 (Лаба 11, Задание 5)

Найдите регулярное выражение для FSA с состояниями , старт и единственное принимающее — , переходы: (петля), , (петля), .

FSA для задания 5: принимающее состояние q₀

Показать решение

Шаг :

Так как : .

Интерпретация: автомат находится в тогда и только тогда, когда прочитано чётное число единиц (и любое число нулей между ними). Язык — в точности все двоичные строки с чётным числом единиц.

4.8. Регулярное выражение для трёхсостоятельного FSA (Домашнее задание 11, Задание 1)

Найдите регулярное выражение для языка FSA с состояниями , старт и единственное принимающее — , переходы: (петля), , (петля), , , .

Трёхсостоятельный FSA для задания из домашней работы 1

Показать решение

Шаг :

(и , и ведут из в )

Шаг (разрешено ):

Так как и , пути с промежуточным из или обратно дают . Поэтому:

Шаг (разрешены и ):

Шаг (все состояния; нужно ):

Сначала :

Так как , произведение . Следовательно:

Ответ: .

Интерпретация: принимаются только цепочки из единиц (включая пустую). Любой сразу уводит из принимающего , и вернуться в из или нельзя: путь никогда не возвращается в . Поэтому принимаются только строки из одних единиц.

4.9. Построить ε-NFSA для (Домашнее задание 11, Задание 2)

По построению Томпсона постройте ε-NFSA для .

Показать решение

Шаг 1 — (два состояния, переход по ).

Шаг 2 — конкатенацией двух копий :

Шаг 3 — по звезде Клини:

Вводим и :

(петля);
(выход);
(обход).

Шаг 4 — объединением:

Шаг 5 — конкатенация и :

Слить с . Итоговый автомат имеет 10 состояний.

ε-NFSA для (11)*(0|1): чётное число единиц, затем один бит 0 или 1

Допускаются строки из чётного числа единиц (включая ноль), за которым следует один бит: .