Вопросы по теории темы 1 для самостоятельной подготовки

1 Понятие конечного автомата (КА); задание КА.

2 Эквивалентные и недостижимые состояния КА, получение минимального КА.

3 Построение диаграммы состояний КА.

4 Построение таблицы переходов для КА.

Тема № 2 Построение мп – автоматов Построение мп – распознавателей Задание

Построить МП–распознаватель для цепочек из 0 и 1, в которых 0 встречаются только по два.

Р Е Ш Е Н И Е

1 Стратегия работы МП–распознавателя следующая:

а) входная цепочка состоит из 1 и 0, число и соотношение между которыми не ограничено при этом нули могут приходить только по два.

б) начинает работу распознаватель при пустом магазине в состоянии S ₁ ; приход 1 ничего не меняет, приход 0 – вталкивается в магазин В и состояние меняется на S ₂

в) после прихода второго 0 из магазина выталкивается В, состояние S ₂ , перход к очередному входному символу, который может быть только 1;

г) в состоянии S ₂ приход символа 1 меняет состояние на S₁.

д) цепочку допустить и процесс закончить в состояниях S₁или S ₂ при пустом магазине.

2 Строим управляющую таблицу МП – распознавателя в соответствии с п.1:

Управляющая таблица имеет вид:

		0				1			––|
S1		S2	Вт. В	П		S1	О	П	Доп
		––				––
	B	Е				Е			Отв
S2		Е				S1	О	П	Доп
						––
	B	S2	Выт. В		П	Е			Отв
		––

3 Проверим работу МП–транслятора

Разберем с помощью построенного МП–распознавателя вариант правильной цепочки : 1100100

Необработ.цепочка	Сост.	Действия с маг.	Содерж. магазина
1100100 –| 100100–| 00100 –| 0100 –| 100 –| 00 –| 0 –| –|	S1 S1 S2 S2 S1 S2 S2 S2	О О Вт В Выт В О Вт. В Выт. В Выт. В допустить	  В    В   

4 Выполним полное описание МП – транслятора:

Входной алфавит { 0, 1 –-| }

Алфавит магазинных символов { В,  }

Множество состояний { S ₁, S ₂ }

Начальная конфигурация ( S _1,  )

Допускающие конфигурации ( S _1,  ) ( S _2,  )

Управляющая таблица приведена выше.