Глава№7

1.Вопрос:

С какой целью множество входных символов обрабатывают двумя автоматами?

1.Ответ:

Множество входных символов обрабатываются двумя автоматами с целью уменьшения размера таблицы переходов.

2.Вопрос:

Какой способ представления состояний называют явным, а какой неявным ?

2.Ответ:

Явный - это способ представления состояния, который заключается в запоминании номера, соответствующего текущему состоянию автомата, в некотором регистре или переменной.

Неявный - это способ, который заключается в том, что для каждого состояния имеется отдельная часть программы. Тот факт, что моделирующий автомат находится в заданном состоянии, «запоминается» тем, что моделирующая программа исполняет часть кода, которая принадлежит этому состоянию.

3.Вопрос:

Составьте таблицу переходов данного автомата для цепочки 001101. Опишите переходы методом вектора переходов и методом списка переходов. Каким из методов это удобнее сделать?

3.Ответ:

Таблица переходов для цепочки 001101:

	0	1
А	B	-
B	D	B
D	-	B

Вектор переходов для состояния B:

	0	1
B	-	B

Список переходов для состояния B:

0	D
1	B

Переходы по неудаче - обработчик ошибок

0	B
1		B

4.Вопрос:

Построить конечный процессор, имеющий входной алфавит {О, М, С, Ы, И, А, ε} для идентификации множества {САМ, СОМ, САМИ, СОМЫ, МЫС}.

4.Ответ:

	О	М	С	Ы	И	А	ε
ε		М	С
М				МЫ
С	СО					СА
МЫ			МЫС
СО		СОМ
СА		САМ
МЫС							«МЫС»
СОМ				СОМЫ			«СОМ»
САМ					САМИ		«САМ»
СОМЫ							«СОМЫ»
САМИ							«САМИ»

Элементы таблицы в кавычках означают, что автомат идентифицировал соответствующее слово. Пустые ячейки соответствуют выходам «слово  множеству». Сообщение об ошибке откладывается, пока слово не просмотрено полностью. Переходы не сопровождаются никакими действиями, кроме изменения состояния.