Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Спроектировать конечный автомат, составить диаграмму переходов КА и реализовать.

Читайте также:
  1. Бесконечная Война, Бесконечный Крестовый поход и Натиск
  2. Бесконечный Крестовый Поход
  3. Бесконечный Крестовый поход
  4. Вставьте в форму диаграмму, графически отражающую оценки студентов.
  5. Из низкой ревности он мог убить всякого, кто пусть даже в отдалённом будущем мог составить ему конкуренцию. Так он убил Гопала Наика.
  6. КОНЕЧНЫЙ ПРОДУКТ И СРОКИ ЕГО ПОДГОТОВКИ
  7. Область переходов

Лабораторные работы по курсу

«Прикладное программное обеспечение»

 

1. Спроектировать грамматику по заданному языку L

2. Спроектировать конечный автомат, составить диаграмму переходов КА и реализовать.

3. Определить свойства КА. Построить НДКА. Реализовать преобразование НДКА в ДКА.

 

4. Устранить из КС-грамматики бесполезные символы и ε–правила.

5. Устранить из KС-грамматики цепные правила и устранить левую рекурсию.

6. Определить форму КС-грамматики и сделать ее приведение.

 

7. Спроектировать МП автомат для приведенной КС-грамматики.

8. Реализовать МП автомат для приведенной КС-грамматики.

 

9. Для LL(1) анализатора построить управляющую таблицу M.

10. Аналитически написать такты работы LL(1) анализатора для выведенной цепочки.

11. Реализовать управляющую таблицу M для LL(1) анализатора.

 

12. Построить замыкание множества ситуаций для пополненной LR(1) грамматики.

13. Определить функцию перехода g(х).

14. Построить каноническую форму множества ситуаций.

15. Построить управляющую таблицу для функции перехода g(х) и действий f(u).

16. Реализовать LR(1)-анализатор по управляющей таблице (g,f) для LR(1) грамматики.

 

Студент: Сокуренко Д.С.

Группа: 08-203

Руководитель: Семёнов А. С.

 

Оценка:

Дата:

Москва 2012

Лабораторная работа №1.

Спроектировать грамматику по заданному языку L.

1.1. Задан бесконечный регулярный язык L = {00ω1 + (1)*½ω1 {0,1}*}

Слова языка L.

0010+111;

0001+11;

00+1.

 

1.2. Преобразовать бесконечный регулярный язык(L) в конечный язык(L1), цепочки символов которого являются подмножество цепочек символов бесконечного языка.

L1 = {00ω1 + 1½ω1 {0,1}+}

Слова языка L1.

001+1;

000+1.

 

1.3. Сгенерировать цепочки символов по языку L1.

Слова языка L1.

001+1;

000+1.

1.4. Спроектировать грамматику для языка L1.

G1 = {T, V, P, S0}

T = {1, 0, +}

V = {A, B, C, D, S0, qf}

P = {S0→0A, A→0B, B→0C, B→1C, C→+D, D→1}

Лабораторная работа №2.

Спроектировать конечный автомат, составить диаграмму переходов КА и реализовать.

2.1. Построить диаграмму переходов и таблицу переходов по грамматике (1.3).

Таблица переходов.

    +  
S0 A - -
A B - -
B C - C
C - D -
D - - qf

 

 

Диаграмма переходов.

 
+
0,1
 
 

2.2. Реализовать конечный автомат по диаграмме переходов.

KA = {Q, ∑, δ, q0, F}

Q ={ S0, A, B, C, D, qf} – состояния автомата. Q = V

∑ = {1, 0, +} – алфавит. ∑ = T

δ – правила перехода. δ = P

q0 – начальное состояние. q0 = S0

F – множество заключительных состояний. F = {qf}

Правила перехода.

δ(S0, 0) = {A}

δ(A, 0) = {B}

δ(B, 1) = {C}

δ(B, 0) = {C}

δ(C, +) = {D}

δ(D, 1) = {qf}


Дата добавления: 2015-10-31; просмотров: 149 | Нарушение авторских прав


Читайте в этой же книге: Реализовать МП автомат для приведенной КС-грамматики | Реализовать управляющую таблицу M для LL(k) анализатора. | CHAPTER THREE 1 страница | CHAPTER THREE 2 страница | CHAPTER THREE 3 страница | CHAPTER THREE 4 страница | CHAPTER THREE 5 страница | CHAPTER THREE 6 страница | CHAPTER SEVEN | CHAPTER EIGHT 1 страница |
<== предыдущая страница | следующая страница ==>
Заключительные замечания 4 страница| Определить свойства КА. Построить НДКА. Реализовать преобразование НДКА в ДКА.

mybiblioteka.su - 2015-2024 год. (0.007 сек.)