Дан язык: L(Z) = a+b+c. Привести примеры 5 строк из этого языка. Построить граф. Построить конечный автомат

Дан язык: L(Z) = a+b+c. Привести примеры 5 строк из этого языка. Построить граф. Построить конечный автомат K = {S, Σ, s0, δ, F}. Определить, является ли он детерминированным. Построить табличное представление функции переходов δ. Определить последовательность состояний автомата при разборе цепочки α = aabbbc и реакцию автомата на эту цепочку. Построить грамматику, порождающую данный язык. Определить класс грамматики по Хомскому.

Дан язык: L(Z) = a+b+c.
1. Привести примеры 5 строк из этого языка.
Цепочки: abc, aabc, abbc, aabbc, aaabbc.
2. Построить граф.
Граф переходов:
3. Построить конечный автомат K = {S, Σ, s0, δ, F}. Определить, является ли он детерминированным.
Конечный автомат K = {S, Σ, s0, δ, F}, где
S = {s0,s1,s2,s3},
Σ = {a,b,c},
F = {s1}),
δ = {
δ(s0,a) = {s2},
δ(s2,a) = {s2},
δ(s2,b) = {s3},
δ(s3,b) = {s3},
δ(s3,c) = {s1} }.
Автомат K детерминированный, т.к не имеет ε-переходов и более одного перехода из одного и того же состояния по одному и тому же входному символу.
4 . Построить табличное представление функции переходов δ.
Таблица переходов автомата K:
a b c
s0 s2
s1
s2 s2 s3
s3
s3 s1
5. Определить последовательность состояний автомата при разборе цепочки α = aabbbc и реакцию автомата на эту цепочку.
Разбор цепочки:
(s0,aabbbc) ├─ (s2,abbbc) ├─ (s2,bbbc) ├─ (s3,bbc) ├─ (s3,bc) ├─ (s3,c) 
├─ (s1,ε) – цепочка закончилась, автомат в заключительном состоянии - цепочка принята автоматом.
6

. Построить табличное представление функции переходов δ.
Таблица переходов автомата K:
a b c
s0 s2
s1
s2 s2 s3
s3
s3 s1
5. Определить последовательность состояний автомата при разборе цепочки α = aabbbc и реакцию автомата на эту цепочку.
Разбор цепочки:
(s0,aabbbc) ├─ (s2,abbbc) ├─ (s2,bbbc) ├─ (s3,bbc) ├─ (s3,bc) ├─ (s3,c) 
├─ (s1,ε) – цепочка закончилась, автомат в заключительном состоянии - цепочка принята автоматом.
6