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

4.1 Дана КС-грамматика G₁ = {T, V, P, S₀}

T = {a, b, c, d}

V = {A, B, C, F, S}

P = { S → b, S → CF, S→ cCB, A→ Ab, A→ c, B → cB, C→ Ca, F→ d }

S₀ = {S}

4.2. Устранить бесполезные символы, ε-правила.

Шаг 1. Удаление непроизводящих символов.

N₀ = Ø

N₁ = {S, A, F} U Ø

N₂ = {S, A, F} = N₁

Грамматика G₁ имеет вид:

G₁′ = {{b, c, d}, {S, A, F}, { S → b, A→ Ab, A→ c, F→ d }, S}

Шаг 2. Удаление недостижимых символов из грамматики G₁′.

N₀ = {S}

N₁ = {S} U {b}

N₂ = {S, b} = N₁

Преобразованная грамматика G₁, не содержащая бесполезные символы.

G₁′′ = {{b}, {S}, {S → b}, S}

Дана КС-грамматика G₂ = {T, V, P, S₀}

T = {a, b, c}

V = {S, A, B, C}

P = { S → b, S → C, S→ cCB, A→ Ab, A→ c, B → cB, C→ Ca, C→ ε }

S₀ = {S}

Шаг 1. Построим множество укорачивающих нетерминалов N_ε.

N₀ = {C}

N₁ = {C} U {S}

N₂ = {C, S} = N₁

N_ε = {C, S}

Шаг 2. Устранение ε – правил.

P′ = Ø

S → C не будет входить в P′.

S→ cCB => S→ cCB, S→ cB;

C→ Ca => C→ Ca, C→ a;

S входит в N_ε => добавляем новый нетерминал S′ и правила S′ → S и S′ → ε.

Преобразованная грамматика L2, не содержащая ε–правила.

G₂′ = {{a, b, c}, {S′, S, A, B, C}, { S′ → S, S′ → ε, S→ cCB, S→ cB, S→ b, C→ Ca, C→ a, A→ Ab, A→ c, B → cB}, S′}

4.3. Реализация.

Console.WriteLine("\t\tPractic 2");

myGrammar G = new myGrammar(new ArrayList() { "a", "b", "c", "d" }, new ArrayList() { "S", "A", "B", "C", "F" }, "S");

G.AddRule("S", new ArrayList() { "b" });

G.AddRule("S", new ArrayList() { "C", "F"});

G.AddRule("S", new ArrayList() { "c", "C", "B" });

G.AddRule("A", new ArrayList() { "A", "b" });

G.AddRule("A", new ArrayList() { "c" });

G.AddRule("B", new ArrayList() { "c", "B" });

G.AddRule("C", new ArrayList() { "C", "a" });

G.AddRule("F", new ArrayList() { "d" });

Console.WriteLine("LAB 4 - DELETE UNUSEFUL SYMB");

G.DebugPrules();

Console.WriteLine("--------");

myGrammar GWitoutUnuseful = G.unUsefulDelete();

Console.WriteLine("\nNew Prules:");

GWitoutUnuseful.DebugPrules();

Console.WriteLine("-----------------------------------");

myGrammar G1 = new myGrammar(new ArrayList() { "b", "c" }, new ArrayList() { "S", "A", "B" }, "S");

G1.AddRule("S", new ArrayList() { "b" });

G1.AddRule("S", new ArrayList() { "c", "C", "B" });

G1.AddRule("S", new ArrayList() { "C" });

G1.AddRule("A", new ArrayList() { "A", "b" });

G1.AddRule("A", new ArrayList() { "c" });

G1.AddRule("B", new ArrayList() { "c", "B" });

G1.AddRule("C", new ArrayList() { "C", "a"});

G1.AddRule("C", new ArrayList() { "" });

Console.WriteLine("LAB 4 - DELETE EPSYLON RULES");

G1.DebugPrules();

Console.WriteLine("--------");

myGrammar GWithoutEps = G1.EpsDelete();

Console.WriteLine("--------");

GWithoutEps.DebugPrules();

Console.WriteLine("-----------------------------------\n");