Wstęp do programowania / Ćwiczenia 5

<<< Powrót do głównej strony wykładu

<<< Powrót do modułu 5

To są ćwiczenia z gramatyk bezkontekstowych.

Ogladaj rozwiązania __SHOWALL__
Ukryj rozwiązania __HIDEALL__

Zadanie 1 (palindromy)

Napisz gramatykę generującą wszystkie palindromy nad alfabetem {0,1}.

Rozwiązanie

0

Zadanie 2

Napisz gramatykę generującą język wszystkich słów nad alfabetem {0,1} postaci $0^n{1}^m{0}^{n+m}$.

Rozwiązanie 1

1J0 S → J

Zadanie 3 (wyrażenia nawiasowe)

Napisz gramatykę generującą wszystkie poprawne wyrażenia nawiasowe.

Rozwiązanie 1

S → SS | (S) | ε

Zgodność: (każde wygenerowane słowo jest poprawnym wyrażeniem nawiasowym) Niech L oznacza język poprawnych wyrażeń nawiasowych. Dowód zgodności przez indukcję po długości wyprowadzenia.

Przypadek bazowy: poprzez wyprowadzenie długości 1 jest możliwe wygenerowanie tylko słowa ε i należy ono do L.

Krok indukcyjny: każde dłuższe wyprowadzenie zaczyna się od produkcji S → (S) lub S → SS. W pierwszym przypadku wygenerowane słowo będzie postaci (w), gdzie S →...→ w jest wyprowadzeniem o długości n-1, czyli w∈L z założenia indukcyjnego.

Podobnie w drugim przypadku, wygenerowane słowo będzie postaci uv, gdzie S →...→ u oraz S →...→ v są wyprowadzeniami o długości mniejszej niż n (suma długości tych wyprowadzeń wynosi n-1). Zatem u,v∈L, stąd uv∈L.

Pełność: (każde wyrażenie nawiasowe da się wyprowadzić) Dowód przez indukcję po długości wyrażenia. Wyrażenie o długości 0 (słowo puste ε) da się wyprowadzić.

Niech w będzie dowolnym wyrażeniem nawiasowym o długości n>0. Określmy funkcję $f_w(i)={\mathrm{\#}}_{(}(w_1...w_i)-{\mathrm{\#}}_{)}(w_1...w_i)$, czyli różnicę w liczbie wystąpień nawiasu otwierającego i zamykającego w prefiksie o długości i. Łatwo zauważyć, że:

• $f_w(0)=0$
• $f_w(n)=0$
• $f_w(i)\ge 0$ dla $i=0\dots n$

W przypadku gdy istnieje j takie, że $0<j<n$ i $f_w(j)=0$ słowa $w_1...w_j$ oraz $w_{j+1}...w_n$ są poprawnymi wyrażeniami nawiasowymi o długości mniejszej niż n. Zatem istnieją wyprowadzenia $S\to \cdots \to w_1...w_j$ oraz $S\to \cdots \to w_{j+1}...w_n$ i da się z nich złożyć wyprowadzenie $S\to SS\to \cdots \to w$.

W przypadku, gdy dla wszystkich j, $f_w(j)>0$ słowo $w_2...w_{n-1}$ jest poprawnym wyrażeniem nawiasowym o długości n-2, zatem wyprowadzalnym z S. Stąd łatwo otrzymać wyprowadzenie słowa w $S\to (S)\to \cdots \to w$.

Rozwiązanie 2

S → (S)S | ε

Zgodność: oczywista.

Pełność: podobnie jak w Rozwiązaniu 1. Dla uzyskania danego słowa w o długości > 0 należy posłużyć się funkcją $f_w$. Przyglądając się pierwszej pozycji j>0 dla której $f_w(j)=0$, zauważamy, że słowa $w_2...w_{j-1}$ oraz $w_{j+1}...w_n$ są poprawnymi wyrażeniami nawiasowymi o mniejszej długości. Zatem można uzyskać wyprowadzenie słowa w $S\to (S)S\to \cdots \to w$.

Zadanie 4

Podaj gramatykę języka słów w nad alfabetem {0,1} takich, że ${\mathrm{\#}}_0(w)={\mathrm{\#}}_1(w)$

Rozwiązanie 1

S → SS | 0S1 | 1S0 | ε

Zgodność: oczywista.

Pełność: podobnie jak w Zadaniu 3. Dla uzyskania słowa w o długości n należy przyjrzeć się wykresowi funkcji $f_w(i)={\mathrm{\#}}_0(w_1...w_i)-{\mathrm{\#}}_1(w_1...w_i)$. Jeśli funkcja ta nie ma miejsc zerowych poza 0 i n, pierwszą produkcją jest S → 0S1 lub S → 1S0. W przeciwnym przypadku w rozkłada się na dwa krótsze słowa o równej liczbie zer i jedynek i pierwszą produkcją jest S → SS.

Rozwiązanie 2

S → 0S1S | 1S0S | ε

Zgodność: oczywista

Pełność: podobnie jak w Rozwiązaniu 1 i w Rozwiązaniu 2 Zadania 3.

Zadanie 5

Podaj gramatykę języka słów w nad alfabetem {0,1} takich, że ${\mathrm{\#}}_0(w)={\mathrm{\#}}_1(w)+1$

Rozwiązanie 1

R → 0R1 | 1R0 | RR | ε

N → 0N1 | 1N0 | RN | NR | 0

symbol startowy: N

Zgodność: wiedząc (z Zadania 4), że R generuje słowa o równej liczbie 0 i 1, łatwo pokazać przez indukcję, że N generuje słowa, w których liczba 0 jest o jeden większa niż liczba 1.

Pełność: mając dane słowo w o długości > 1 zaczynamy od wskazania (dowolnego) nadmiarowego 0. Następnie postępujemy jak w Zadaniu 4, nie licząc wskazanego 0, pamiętając przy tym, żeby ta część słowa, która zawiera wskazane 0, była wyprowadzana z N, a nie z R.

Zadanie 6 (liczby podzielne przez 3)

Podaj gramatykę generującą liczby w zapisie binarnym, które są podzielne przez 3.

Rozwiązanie 1

S₀ → 0 | S₀0 | S₁1

S₁ → 1 | S₀1 | S₂0

S₂ → S₁0 | S₂1

symbol startowy: S₀

Zgodność: Łatwo pokazać, że kolejne symbole generują liczby, które w dzieleniu przez 3 mają resztę odpowiednio 0, 1 i 2. Dwa przypadki bazowe są oczywiste, następnie weźmy na przykład produkcję S₁ → S₂0. Jeśli (z założenia indukcyjnego) S₂ wygeneruje liczbę w o reszcie 2, to wygenerowana przez S₁ liczba w0 będzie miała resztę 2×2 mod 3 = 1. Podobnie można sprawdzić wszystkie pozostałe produkcje.

Pełność: Przez indukcję po długości liczby pokażemy, że każdą liczbę o reszcie z dzielenia przez 3 wynoszącej i da się wygenerować z symbolu S_i. Istotnie, dla liczb jednocyfrowych jest to oczywiste. Dla pozostałych, postaci wb, wystarczy popatrzeć na ostatnią cyfrę b. Reszta z dzielenia wb przez 3 oraz wartość b determinują resztę z dzielenia w przez 3. Dla wszystkich sześciu przypadków w naszej gramatyce istnieje odpowiednia produkcja. Następnie wystarczy użyć założenia indukcyjnego, aby wygenerować w.

Pytanko 1

Jak należy zmodyfikować tę gramatykę, aby generowane liczby binarne nie mogły zaczynać się od 0 ?

Odpowiedź

S₀ → S₀0 | S₁1

S₁ → 1 | S₀1 | S₂0

S₂ → S₁0 | S₂1

S → S₀ | 0

symbol startowy: S

Zadanie 7

Podaj gramatykę generującą słowa nad alfabetem {0,1}, w których nie występuje podsłowo 000.

Rozwiązanie 1

S₀ → ε | S₀1 | S₁1 | S₂1

S₁ → S₀0

S₂ → S₁0

S → S₀ | S₁ | S₂

symbol startowy: S

Zgodność i pełność tej gramatyki wynika z faktu, że S_j generuje wszystkie słowa w nie zawierające 000 i kończące się na j zer.

Rozwiązanie 2

S₀ → ε | S₀1 | S₀01 | S₀001

S → S₀ | S₀0 | S₀00

symbol startowy: S

Ta gramatyka powstała z poprzedniej przez usunięcie symboli S₁ i S₂ i włączenie ich (pojedynczych) produkcji do produkcji pozostałych symboli.

Rozwiązanie 3

Z → ε | 0 | 00

S → Z | S1Z

symbol startowy: S

Z - krotki ciąg zer (mniej niż 3)

S - ciąg krótkich ciągów zer poprzedzielanych jedynkami

Dla ciekawskich

Język opisany w tym zadaniu (i w Zadaniu 6) jest w istocie językiem regularnym, czyli dającym się wygenerować bez rekurencji, a tylko poprzez iterację (czyli prostszym, niż zwykły język bezkontekstowy). Można to poznać po tym, że udało nam się stworzyć gramatykę, w której wszystkie produkcje są postaci X → Yz lub X → Y gdzie X i Y to symbole nieterminalne, a z to symbol terminalny.

Języki regularne mają wiele wspólnego z wyrażeniami regularnymi używanymi w prostych operacjach na tekstach, takich jak wyszukiwanie i zastępowanie (np przez programy Unixowe grep, sed itp.)