5.7. Упражнения

Задан терминальный алфавит Vт ={a, b, c, d}, нетерминальный алфавит Vн={A,B,C}, аксиомой языка является символ C. Построить описание автомата для следующей грамматики.

P={ p1: С::=aB; p2: C::=aA; p3::B=dA; p4: A::=aB; p5: A::= a}. P={p1: С::=aB; p2: C::=bA ; p3::B::=bA; p4: A::= cB; p5: A::= a; p6: B::=d}. P={p1: С::=aB; p2: C::=bA ; p3: C::=aA; p3::B::=bA; p4: A::= cB; p5: A::= a; p6: B::=d}.

P={p1: С: ::=aB; p2: C::=cB ; p3: C::=aA; p3::B::=aA; p4: B::= bB; p5: A::= dA; p6: A::=d. p7: B::=b}. P={ p1:С::=aB; p2: C::=bB ; p3: B::=aA; p3::B::=aB; p4: B::= bB; p5: A::= dA; p6: A::=d. p7: B::=b h8: A::=a}.

Библиографический список

1. Карпов Ю.Г. Теория автоматов / Ю.Г. Карпов СПб.: Изд.дом ПИТЕР, 2002.

2. Богомолов А.М. Алгебраические основы теории дискретных систем / А.М. Богомолов, В.Н. Салий. М.: Наука, 1998.

3. Баранов С.И. Синтез микропрограммных автоматов / С.И. Баранов М.: Энергия, 1985.

4. Поспелов Д.А. Логические методы анализа и синтеза схем / Д.А. Поспелов М.: Энергия, 1974.

5. Мелихов А.Н. Ориентированные графы и конечные автоматы / А.Н. Мелихов М: Наука, 1971.

Учебное издание

Валерий Петрович Битюцкий,

Игорь Васильевич Хмелевский

Проектирование автоматов

Редактор Н.П.Кубыщенко

Компьютерная верстка Битюцкого В.П.

ИД №06263 от 12.11.2001 г.

Подписано в печать 24.01.2006 Формат 60х84 1/16

Бумага типографская Офсетная печать Усл.печ.л 5,41

Уч.-изд.л. 5,8 Тираж Заказ Цена “С”

Редакционно-издательский отдел ГОУ ВПО УГТУ-УПИ

620002, Екатеринбург, Мира, 19

ООО «Издательство УМЦ УПИ, 620002, Екатеринбург, Мира, 17