Логотип Автор24реферат
Заказать работу
%
уникальность
не проверялась
Решение задач на тему:

По праволинейной грамматике построить конечный автомат

уникальность
не проверялась
Аа
2985 символов
Категория
Информационные технологии
Решение задач
По праволинейной грамматике построить конечный автомат .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

По праволинейной грамматике построить конечный автомат, определяющий такой же язык (см. стр. 7) и продемонстрировать его работу на каком-нибудь входном слове. Детерминировать получившийся автомат (см. стр. 6-7). По детерминированному автомату составить праволинейную грамматику, эквивалентную исходной. I → aB | bB | bA, A → aI | bA | λ, B → aB | bC, C → aB; 2 Задание 1 По словесному описанию языка (Σ={a,b,c}) составить регулярное выражение (см. стр. 2). По этому регулярному выражению построить праволинейную грамматику, порождающую данный язык (см. стр. 4) и выписать вывод какого-нибудь четырехбуквенного слова. По получившейся грамматике составить систему регулярных уравнений и попытаться её решить. На всех нечетных местах каждого слова находится a.

Нужно полное решение этой работы?

Решение

Потяни, чтобы посмотреть
Во всех словах на нечетных местах стоит буква a, а на четных – a, b или c. Слова могут быть нечетной или четной длины, плюс пустое слово, так как оно четной длины. Выражение для слов нечетной длины a((a+b+c)a)*. Выражение для слов четной длины a(a+b+c)(a(a+b+c))*. Выражение для данного языка имеет вид a((a+b+c)a)*+a(a+b+c)(a(a+b+c))*+λ =
= a((a+b+c)a)*+(a(a+b+c))*.
Грамматики для a, b и c:
G1({a,b,c},{A},Q,A), G2({a,b,c},{B},R,B), G3({a,b,c},{C},T,C),
A→aB→bC→c
Грамматика для a+b+c:
G4({a,b,c},{A,B,C,D},U,D)
D→A | B | C
A→a
B→b
C→c
=
G’4({a,b,c},{D},U,D)
D→a | b | c
Грамматика для (a+b+c)a:
G5({a,b,c},{A,D},U,D)
D→ aA | bA | cA
A→a
Грамматика для итерации ((a+b+c)a)*:
G6({a,b,c},{A,D,E},U,E)
E→D | λ
D→aA | bA | cA
A→aE | a
=
G6’({a,b,c},{A,E},U,E)
E→ aA | bA | cA | λ
A→aE | a
Грамматика для a((a+b+c)a)*:
G7({a,b,c},{A,E,D},U,D)
D→aE
E→ aA | bA | cA | λ
A→aE | a
Грамматика для a(a+b+c):
G8({a,b,c},{A,D},U,A)
A→aD
D→a | b | c
Грамматика для итерации (a(a+b+c))*:
G9({a,b,c},{A,D,E},U,E)
E→A | λ
A→aD
D→aE | bE | cE | a | b | c
=
G9’({a,b,c},{D,E},U,E)
E→ aD | λ
D→aE | bE | cE | a | b | c
Грамматика для a((a+b+c)a)*+(a(a+b+c))*:
G7({a,b,c},{A,E,D},{D→aE; E→ aA | bA | cA | λ; A→aE | a},D) ∪
G9’({a,b,c},{H,I},{H→aI | λ; I→aH | bH | cH | a | b | c},H) =
G10({a,b,c},{S,A,E,D,H,I},U,S)
S→D | H
D→aE
E→ aA | bA | cA | λ
A→aE | a
H→aI | λ
I→aH | bH | cH | a | b | c
Вывод слова «abaca»
S→aE→abA→abaE→abacA→abaca
Система регулярных уравнений:
S = D+H
D = aE
E = aA+bA+cA+λ
A = aE+a
H = aI+λ
I = aH+bH+cH+a+b+c
I = aH+bH+cH+a+b+c = (a+b+c)H+(a+b+c) = (a+b+c)(aI+λ)+(a+b+c) =
= (a+b+c)aI+(a+b+c)+(a+b+c) = (a+b+c)aI+(a+b+c);
I = ((a+b+c)a)*(a+b+c)
H = aI+λ = a((a+b+c)a)*(a+b+c)+λ = ( (FG)*=λ+F(GF)*G ) (a(a+b+c))*
E = aA+bA+cA+λ = (a+b+c)A+λ
A = aE+a = a((a+b+c)A+λ)+a = a(a+b+c)A+a+a = a(a+b+c)A+a;
A = (a(a+b+c))*a =
= ( (FG)*=λ+F(GF)*G ) (λ+a((a+b+c)a)*(a+b+c))a = a+a((a+b+c)a)*(a+b+c)a
E = (a+b+c)A+λ = (a+b+c)(a+a((a+b+c)a)*(a+b+c)a)+λ =
= (a+b+c)a+(a+b+c)a((a+b+c)a)*(a+b+c)a+λ =
= (a+b+c)a((a+b+c)a)*(a+b+c)a+(a+b+c)a+λ =
= ((a+b+c)a((a+b+c)a)*+λ)(a+b+c)a+λ =
= ((a+b+c)a)*(a+b+c)a+λ =
= ( F*F=FF* ) (a+b+c)a((a+b+c)a)*+λ = ((a+b+c)a)*
D = aE = a((a+b+c)a)*
S = D+H = a((a+b+c)a)*+(a(a+b+c))*
3 Задание 2
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по информационным технологиям:

Определить область допустимых решений

807 символов
Информационные технологии
Решение задач

Найдите Приказ Минобрнауки России от 13 06

366 символов
Информационные технологии
Решение задач
Все Решенные задачи по информационным технологиям
Закажи решение задач
Оставляя свои контактные данные и нажимая «Узнать стоимость», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.