Задание по теории автоматов Построить конечный автомат с заданным входным алгоритмом, который допускает следующие множества:
Подстрока "011" встречается ровно один раз и цепочка начинается с нуля.

Предыдущий
вопрос Следующий
вопрос

Давайте построим конечный автомат для данного задания.

Пусть у нас есть состояния A, B, C и D.

Состояние A - начальное состояние
Состояние B - после чтения 0
Состояние C - после чтения 01
Состояние D - после чтения 011

Теперь опишем переходы между состояниями:

Из состояния A по символу 0 переходим в состояние B.Из состояния B по символу 1 переходим в состояние C.Из состояния C по символу 1 переходим в состояние D.

Состояние D является конечным состоянием, так как мы достигли нужной подстроки "011" ровно один раз.

Таким образом, построенный автомат соответствует условиям задачи.