Rozwiązania około dwustu łatwych zadań z języków formalnych i złożoności obliczeniowej i być może jednego chyba trudnego (w trakcie tworzenia)

Podobne dokumenty
Rozwiązania części z około dwustu łatwych zadań z języków formalnych i złożoności obliczeniowej i być może jednego chyba trudnego

złożony ze słów zerojedynkowych o długości co najmniej 3, w których druga i trzecia litera od końca sa

Przykład: Σ = {0, 1} Σ - zbiór wszystkich skończonych ciagów binarnych. L 1 = {0, 00, 000,...,1, 11, 111,... } L 2 = {01, 1010, 001, 11}

Zadanie 1. Czy prawdziwa jest następująca implikacja? Jeśli L A jest językiem regularnym, to regularnym językiem jest też. A = (A, Q, q I, F, δ)

Matematyka Dyskretna 2/2008 rozwiązania. x 2 = 5x 6 (1) s 1 = Aα 1 + Bβ 1. A + B = c 2 A + 3 B = d

1 Automaty niedeterministyczne

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Jaki język zrozumie automat?

Języki formalne i automaty Ćwiczenia 7

JAO - Języki, Automaty i Obliczenia - Wykład 2. JAO - Języki, Automaty i Obliczenia - Wykład 2

Języki, automaty i obliczenia

Automat ze stosem. Języki formalne i automaty. Dr inż. Janusz Majewski Katedra Informatyki

Kolorowanie płaszczyzny, prostych i okręgów

Języki formalne i automaty Ćwiczenia 1

Problemy Decyzyjne dla Systemów Nieskończonych

Maszyna Turinga. Algorytm. czy program???? Problem Hilberta: Przykłady algorytmów. Cechy algorytmu: Pojęcie algorytmu

Część wspólna (przekrój) A B składa się z wszystkich elementów, które należą jednocześnie do zbioru A i do zbioru B:

Imię, nazwisko, nr indeksu

Minimalizacja automatów niedeterministycznych na słowach skończonych i nieskończonych

10110 =

Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi

JAO - Wprowadzenie do Gramatyk bezkontekstowych

Języki i operacje na językach. Teoria automatów i języków formalnych. Definicja języka

LX Olimpiada Matematyczna

Symbol, alfabet, łańcuch

domykanie relacji, relacja równoważności, rozkłady zbiorów

Języki formalne i automaty Ćwiczenia 9

Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych

Lista 4. Kamil Matuszewski 22 marca 2016

Maszyna Turinga języki

(j, k) jeśli k j w przeciwnym przypadku.

JAO - lematy o pompowaniu dla jezykow bezkontekstowy

2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11

LOGIKA I TEORIA ZBIORÓW

Matematyczna wieża Babel. 4. Ograniczone maszyny Turinga o językach kontekstowych materiały do ćwiczeń

Trzy razy o indukcji

Zadanie 1. (6 punktów) Słowo w nazwiemy anagramem słowa v jeśli w można otrzymać z v poprzez zamianę kolejności liter. Niech

Zasada indukcji matematycznej

Wykład 4. Określimy teraz pewną ważną klasę pierścieni.

Matematyczne Podstawy Informatyki

Indukcja matematyczna, zasada minimum i maksimum. 17 lutego 2017

Sumy kwadratów kolejnych liczb naturalnych

Hierarchia Chomsky ego Maszyna Turinga

Dopełnienie to można wyrazić w następujący sposób:

n=0 Dla zbioru Cantora prawdziwe są wersje lematu 3.6 oraz lematu 3.8 przy założeniu α = :

Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i

1. Synteza automatów Moore a i Mealy realizujących zadane przekształcenie 2. Transformacja automatu Moore a w automat Mealy i odwrotnie

Automaty Büchi ego i równoważne modele obliczeń

Obóz Naukowy Olimpiady Matematycznej Gimnazjalistów

Matematyka Dyskretna Zestaw 2

Temperatura w atmosferze (czy innym ośrodku) jako funkcja dł. i szer. geogr. oraz wysokości.

Przykładowe zadania z teorii liczb

ZALICZENIE WYKŁADU: 30.I.2019

Liczby pierwsze. Kacper Żurek, uczeń w Gimnazjum nr 1 im. Jana Pawła II w Giżycku.

V Konkurs Matematyczny Politechniki Białostockiej

Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny:

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

W. Guzicki Zadanie 41 z Informatora Maturalnego poziom podstawowy 1

Obóz Naukowy Olimpiady Matematycznej Gimnazjalistów

Zbiory, relacje i funkcje

Topologia zbioru Cantora a obwody logiczne

MNRP r. 1 Aksjomatyczna definicja prawdopodobieństwa (wykład) Grzegorz Kowalczyk

Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:

Elementy logiki i teorii mnogości

Dwa równania kwadratowe z częścią całkowitą

Języki formalne i automaty Ćwiczenia 6

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Kombinowanie o nieskończoności. 3. Jak policzyć nieskończone materiały do ćwiczeń

CIĄGI wiadomości podstawowe

Dlaczego nie wystarczają liczby wymierne

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

F t+ := s>t. F s = F t.

Języki formalne i automaty Ćwiczenia 4

7. CIĄGI. WYKŁAD 5. Przykłady :

Gramatyki, wyprowadzenia, hierarchia Chomsky ego. Gramatyka

Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone

Lista zagadnień omawianych na wykładzie w dn r. :

Obliczenia inspirowane Naturą

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Wykład 21 Funkcje mierzalne. Kostrukcja i własności całki wzglȩdem miary przeliczalnie addytywnej

System BCD z κ. Adam Slaski na podstawie wykładów, notatek i uwag Pawła Urzyczyna. Semestr letni 2009/10

Rozdział 7 Relacje równoważności

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.

Definicja odwzorowania ciągłego i niektóre przykłady

1. ODPOWIEDZI DO ZADAŃ TESTOWYCH

6. Liczby wymierne i niewymierne. Niewymierność pierwiastków i logarytmów (c.d.).

7 Twierdzenie Fubiniego

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13

0 + 0 = 0, = 1, = 1, = 0.

Zestaw zadań dotyczących liczb całkowitych

Wykład 1. Na początku zajmować się będziemy zbiorem liczb całkowitych

Rozkład figury symetrycznej na dwie przystające

KURS MATEMATYKA DYSKRETNA

Wykład 10. Stwierdzenie 1. X spełnia warunek Borela wtedy i tylko wtedy, gdy każda scentrowana rodzina zbiorów domkniętych ma niepusty przekrój.

Transkrypt:

Rozwiązania około dwustu łatwych zadań z języków formalnych i złożoności obliczeniowej i być może jednego chyba trudnego (w trakcie tworzenia) Kamil Matuszewski 20 lutego 2017 22 lutego 2017 Zadania, które zrobiliśmy wraz z Bartoszem Bednarczykiem na ćwiczenia z języków formalnych i złożoności obliczeniowej. Zadania były rozwiązywane przed ćwiczeniami, nie biorę żadnej odpowiedzialności za ich poprawność. Zadania które były zadane w naszej edycji oznaczone będą gwiazdką. Zadania warto zrobić samodzielnie a potem ewentualnie skonfrontować swoje rozwiązania z naszymi. Zapraszam również na github wiedzmac, gdzie będą pojawiały się zadania spisane przez Bartosza Bednarczyka. 1

1 Deterministyczne Automaty Skończone Zadanie 1 *. Rozważmy język = {w0s : s = 9}, złożony z tych słów nad alfabetem {0, 1} których dziesiąty symbol od końca to 0. Udowodnij, że DFA rozpoznający ten język ma co najmniej 1024 stany. Zadanie rozwiążemy nie wprost. Dowód. Załóżmy nie wprost, że istnieje deterministyczny automat skończony A o mniej niż 1024 stanach rozpoznający nasz język. Wiemy, że liczba dziesięcioliterowych słów nad alfabetem {0, 1} to 2 10 = 1024. Wykorzystując zasadę szufladkową dochodzimy do wniosku, że są przynajmniej dwa różne słowa, które skończą w tym samym stanie. Niech te słowa nazywają się w i v. Skoro te słowa się różnią, to musi istnieć najmniejszy indeks k taki, że w[k] v[k]. Skoro słowa są w tym samym stanie q, to po dopisaniu takiej samej liczby jedynek do obu słów oba będą w jakimś stanie q (być może q = q). Rozpatrzmy więc słowa w1 k 1 i v1 k 1 (słowa z dopisanymi k 1 jedynkami). Wtedy słowa różnią się na dziesiątej literze od końca (k tej literze od początku) a są w tym samym stanie, co daje nam sprzeczność. Zadanie 2 *. Jaką minimalną liczbę stanów musi mieć deterministyczny automat skończony rozpoznający zbiór tych wszystkich słów nad alfabetem {a, b, c}, które wśród ostatnich trzech znaków mają po jednym wystąpieniu każdej z liter alfabetu? Rozważmy język taki jak w treści zadania i Σ = {a, b, c}. Twierdzę, że automat rozpoznający musi mieć przynajmniej 16 stanów. Żeby to pokazać, stworzę najpierw zbiór S w taki sposób: S = {ɛ, a, b, c, ab, ac, ba, bc, ca, cb, abc, acb, bac, bca, cba, cab} Zauważmy, że S = 16. Teraz udowodnimy, że minimalna liczba stanów deterministycznego automatu skończonego rozpoznającego nasz język to właśnie 16. Dowód. Załóżmy nie wprost, że istnieje automat A który rozpoznaje nasz język, a liczba jego stanów jest mniejsza niż 16. Wtedy z zasady szufladkowej istnieją takie dwa słowa w, v S dla których automat skończy w tym samym stanie. Niech w będzie dłuższym słowem. Rozpatrzmy przypadki: w = 3 i v = 3. Niech x - pierwsza litera słowa w. Wtedy słowo wx a słowo vx /. w = 3 i v < 3. Wtedy w bo w S, a v / bo nie ma trzech liter. w = 2 i v = 2. Niech x - litera z alfabetu której nie ma w w. Wiemy, że x v, więc wx a vx /. w = 2 i v = 1. Niech x - litera z alfabetu której nie ma w w. Wtedy wx a vx / bo vx = 2. w = 1 i v = 1. Wtedy w i v są różnymi literami alfabetu. Niech x - trzecia litera (w v x i w, v, x Σ). Wtedy wvx ale vvx /. Oznacza to, że do każdych dwóch słów należących do S możemy dopisać skończony ciąg liter alfabetu tak, że oba słowa nadal będą w tym samym stanie, ale jedno będzie należeć do języka a drugie nie, co prowadzi do sprzeczności i kończy dowód. Zadanie 3. Jaką minimalną liczbę stanów musi mieć deterministyczny automat skończony rozpoznający zbiór tych wszystkich słów nad alfabetem {a, b, c}, które mają przynajmniej 4 symbole i których ostatnie 4 symbole są jednakowe? 2

Analogicznie do zadania poprzedniego. Jakiś szkic dowodu: Nasz zbiór to: S = {ɛ, a, b, c, aa, bb, cc, aaa, bbb, ccc, aaaa, bbbb, cccc} Minimalna liczba stanów to 13. Jeśli byłaby mniejsza to dla jakichś dwóch słów z powyższego zbioru, po ich przeczytaniu automat będzie w tym samym stanie, więc dopisanie takiego samego ciągu liter do obu sprawi, że nadal będą w tym samym stanie. Tym razem do dłuższego słowa (jeśli są równe to do dowolnego) dopisujemy tyle takich samych liter by znalazło się w stanie akceptującym, do drugiego słowa dopisujemy to samo, jedno należy do drugie nie, a są w tym samym stanie, sprzeczność. Zadanie 4. Udowodnij, że język = {a n b 2n : n N} nie jest regularny. Zadanie rozwiązujemy korzystając z lematu o pompowaniu. Dowód. Weźmy słowo w = a p b 2p gdzie p jest stałą z lematu o pompowaniu. Wiemy (z lematu o pompowaniu), że wtedy możemy podzielić słowo w na xyz, takie, że xy p. W takim razie, w y będą same litery a. Skoro tak, to weźmy teraz słowo xyyz. Na mocy lematu, gdyby język był regularny, to takie słowo również należałoby do języka, ale widzimy, że liter a jest więcej niż p (bo y ɛ), więc słowo nie należy do języka, co kończy dowód. Zadanie 5 *. (za 2 punty) Niech będzie dowolnym podzbiorem (0 ). Udowodnij, że jest językiem regularnym. Zadanie 6 *. Udowodnij, że język tych słów nad alfabetem {0, 1}, które są zapisem binarnym liczby pierwszej, nie jest regularny. Skorzystamy z lematu o pompowaniu i małego twierdzenia fermata. Dowód. Załóżmy, że język taki jak w zadaniu jest językiem regularnym. Skoro jest regularny, to spełnia lemat o pompowaniu. Niech n będzie stałą z lematu o pompowaniu. Weźmy słowo w będące reprezentacją liczby pierwszej p > 2 n (wiemy, że taka istnieje, bo jest nieskończenie wiele liczb pierwszych). Na mocy lematu istnieją takie x, y, z, że w = xyz, y ɛ i kxy k z należy do języka, czyli jest reprezentacją pewnej liczby pierwszej. Weźmy k = p. Niech b x, b y, b z oznaczają kolejno reprezentacje x, y, z jako liczb binarnych. Wtedy wartość w to b z + b y 2 z + b x 2 y + z. Dodatkowo, wartość q = xy p z to b z + b y 2 z + b y 2 z + y +... + b y 2 z +(p 1) y + b x 2 p y + z. Wiemy więc, że: q = b z + b y 2 z (1 + 2 y +... + 2 (p 1) y ) + b x 2 p y + z Teraz, z małego twierdzenia fermata, wiemy, że a p p a Oznaczmy s = (1 + 2 y +... + 2 (p 1) y ) i sprawdźmy, czemu jest równe q mod p. Czemu jest równe s mod p? q = b z + b y 2 z s + b x 2 p y + z p b z + b y 2 z s + b x 2 y + z s = (1 + 2 y +... + 2 (p 1) y ) = 1 (1 2p y ) 1 2 y p 1 2 y 1 2 y p 1 Mamy więc, że s = 1 mod p. Skoro tak, to q p b z + b y 2 z s + b x 2 y + z p b z + b y 2 z + b x 2 y + z = p Wyszło nam, że q p p więc p q. Skoro tak, to q nie może być liczbą pierwszą, więc q /, sprzeczność. 3

Definicja. Dla danego słowa w nad pewnym ustalonym alfabetem, niech w R oznacza w czytane od końca, tzn. ɛ R = ɛ i (aw) R = w R a jeśli a należy do alfabetu, zaś w jest dowolnym słowem. Zadanie 7 *. Czy język = {ww R x : w, x {0, 1} i w, x ɛ} jest regularny? Czy język = {xwx : w, x {0, 1} i x ɛ} jest regularny? Twierdzę, że: = {ww R x : w, x {0, 1} i w, x ɛ} nie jest regularny. Dowód. Skorzystajmy z lematu o indeksie (który udowodnimy w zadaniu 9), pokazując, że liczba klas abstrakcji relacji jest nieskończona. W tym celu pokażemy nieskończony ciąg wyrazów, z których żadne dwa nie są w relacji. Niech w k = (10) k. Twierdzę, że dla dowolnych k i k k k, w k w k. Żeby to pokazać, załóżmy bez straty ogólności, że k < k. Muszę pokazać, że istnieje takie v, że w k v ale w k v /. Weźmy v = wk R0. W oczywisty sposób w kv = (10) k (01) k 0. Zastanówmy się, czy w k v = (10) k (01) k 0 rzeczywiście nie należy do języka. W tym celu spróbujmy znaleźć takie niepuste słowa w, x, że (10) k (01) k 0 = ww R x. Zauważmy, że w R musi się zaczynać na tą samą literę, na którą kończy się w, czyli inaczej musimy znaleźć moment, w którym widzimy dwie takie same litery obok siebie. Jedyny taki moment jest po słowie w k, jednak w k jest dłuższe niż wk R0, więc nie znajdziemy słowa wr. To oznacza, że v jest dobrym kontrprzykładem. Możemy więc stworzyć taki nieskończony ciąg w 1, w 2..., że i j w i w j, więc liczba klas abstrakcji jest nieskończona, co z lematu o indeksie mówi, że nie jest regularny. = {xwx : w, x {0, 1} i x ɛ} nie jest regularny. Dowód. Ponownie skorzystamy z lematu o indeksie. Niech w k = 10 k. Twierdzę, że dla dowolnych k i k k k, w k w k. Żeby to pokazać, załóżmy bez straty ogólności, że k < k. Muszę pokazać, że istnieje takie v, że w k v ale w k v /. Weźmy v = w k. Słowo w k v = 10 k 10 k. Zastanówmy się, czy słowo w k v = 10 k 10 k rzeczywiście nie należy do. Spróbujmy znaleźć takie x, w że 10 k 10 k = xwx. x musi zaczynać się na 1, a jedyne miejsce oprócz pierwszego gdzie występuje 1 to miejsce, w którym zaczyna się słowo w k. Ale po tamtej 1 następuje k zer, a k > k, więc 10 k < 10 k, czyli nie możemy stworzyć takiego podziału, co oznacza, że v jest dobrym kontrprzykładem. Możemy więc stworzyć taki nieskończony ciąg w 1, w 2..., że i j w i w j, więc liczba klas abstrakcji jest nieskończona, co z lematu o indeksie mówi, że nie jest regularny. Zadanie 8. Rozważmy alfabet A n składający się z liter a, b1, b2,..., bn. Niech język 1 n składa się z tych słów nad A n, które mają parzystą liczbę wystąpień wzorca b 1 b 2. Niech język 2 n składa się z tych słów nad A n, które maja parzysta liczbę wystąpień wzorca b 2 b 3, itd. Niech wreszcie język n n składa się z tych słów nad A n, które maja parzysta liczbę wystąpień wzorca b n b 1. Zdefiniujmy język n jako przecięcie 1 n 2 n... n n. Jaką minimalną liczbę stanów musi mieć deterministyczny automat skończony rozpoznający n? 2 Twierdzenie o indeksie Zadanie 9 *. (Twierdzenie o indeksie) Niech A. Relację A A definiujemy w następujący sposób: w w w.t.w gdy v A (wv w v ). Udowodnij następujące twierdzenie o indeksie: jest regularny wtedy i tylko wtedy gdy liczba klas abstrakcji relacji jest skończona. Minimalna liczba stanów DFA rozpoznającego jest wtedy równa liczbie tych klas abstrakcji. Udowodnijmy kilka rzeczy: 1. iczba klas abstrakcji relacji jest skończona jest regularny. 4

Dowód. Po pierwsze, skonstruujmy automat skończony A i pokażmy, że rzeczywiście rozpoznaje on nasz język. Stanami naszego automatu będą wszystkie klasy abstrakcji. Będziemy więc utożsamiać klasy abstrakcji relacji ze stanami automatu. Skoro klas abstrakcji jest skończenie wiele, to nasz automat jest skończony. Stanem początkowym będzie klasa abstrakcji słowa pustego. Teraz, dla każdego stanu q, wybieramy przedstawiciela w z klasy abstrakcji którą z nim (ze stanem) utożsamiamy, i dla każdej litery alfabetu a Σ sprawdzamy, jaka jest klasa abstrakcji słowa wa, i to jest stan do którego przechodzimy z q po wczytaniu a. Mamy już zbiór stanów, stan początkowy, alfabet i funkcję przejścia, zastanówmy się jeszcze jak wygląda zbiór stanów akceptujących. Obserwacja. Dla dowolnej klasy abstrakcji i dla dowolnych dwóch jej przedstawicieli w, u, oba albo są w języku albo ich nie ma. Jest to w miarę oczywiste, ponieważ tak właśnie zdefiniowaliśmy naszą relację. Skoro v A (wv uv ), to tym bardziej to będzie prawda, jeśli weźmiemy v = ɛ. Skoro tak, to wszystkie słowa które trafiły do danego stanu q albo są w języku albo ich nie ma (bo skoro słowo trafiło do tego stanu, to znaczy, że jest w tej klasie abstrakcji). W takim wypadku dla każdego stanu możemy wybrać dowolnego przedstawiciela klasy abstrakcji którą z tym stanem utożsamiamy, sprawdzić czy jest ono w języku, i jeśli tak to oznaczyć ten stan jako akceptujący. To, że automat rozpoznaje nasz język, wynika wprost z konstrukcji automatu. 2. Minimalna liczba stanów automatu rozpoznającego język jest równa liczbie klas abstrakcji relacji. Dowód. To, że automat o takiej liczbie stanów można skonstruować, pokazaliśmy w poprzednim punkcie konstruując go. Teraz zastanówmy się, czy jest to automat minimalny. Załóżmy nie wprost, że istnieje automat rozpoznający język, który ma mniej stanów. To oznacza, że istnieją dwa słowa w, w takie, że trafią one do jednego stanu, a będą w dwóch różnych klasach abstrakcji (zasada szufladkowa). Skoro słowa są w tym samym stanie, to dopisanie do nich dowolnego słowa należącego do A sprawi, że w i w nadal będą w tym samym stanie. Skoro tak, to v A (wv w v ). Ale to oznacza, że w i w są w jednej klasie abstrakcji, co daje nam sprzeczność. 3. jest regularny liczba klas abstrakcji relacji jest skończona. Dowód. Skoro wiemy, że jest regularny, to istnieje skończony automat A rozpoznający. Z poprzedniego punktu wiemy, że najmniejszy automat rozpoznający ma tyle stanów, ile klas abstrakcji relacji. To z kolei oznacza, że liczba tych klas abstrakcji musi być skończona (bo liczba stanów jest skończona), co automatycznie dowodzi naszej tezy. Udowodnienie tych trzech punktów kończy zadanie. Definicja. Niech Σ będzie skończonym alfabetem i niech Σ. Jak pamiętamy, relacja z Twierdzenia o indeksie zdefiniowana jest, na zbiorze Σ jako: w v w.t.w gdy x Σ (wx vx ). Podobnie możemy zdefiniować relację równoważności inf. Mianowicie w inf v zachodzi wtedy i tylko wtedy gdy x, y Σ (xwy xvy ). Definicja. Niech i (od słowa indeks) będzie równe Σ / (czyli i to liczba klas abstrakcji na jakie dzieli Σ ). Podobnie, niech i inf = Σ / inf. Kolejne trzy zadania dotyczą wzajemnych relacji między liczbami i a i inf Zadanie 10 *. Udowodnij, że jeśli jedna z liczb i, i inf jest skończona, to obie są skończone (z Twierdzenia o Indeksie wiemy, że ma to miejsce wtedy i tylko wtedy gdy jest regularny). Dokładniej mówiąc: 5

a. udowodnij, że i i inf b. udowodnij, że i inf ii Tak jak w zadaniu, pokażmy oba punkty: a. i i inf Dowód. Po pierwsze, dla dwóch słów w i v, jeśli były one w dwóch różnych klasach abstrakcji relacji, to w oczywisty sposób będą w różnych klasach abstrakcji relacji inf (bo skoro w v to oznacza, że nie istnieje x takie, że wx vx, więc tym bardziej nie mogą istnieć takie x, y że xwy xvy ). Z kolei, jeśli w i v były w tej samej klasie abstrakcji relacji, to nie musi oznaczać, że będą w tej samej klasie abstrakcji relacji inf. W takim razie nierówność jest prawdziwa. b. udowodnij, że i inf ii Dowód. Wiemy, że i jest skończona, więc z Twierdzenia o Indeksie istnieje skończony automat rozpoznający. Weźmy najmniejszy taki automat A. Niech jego stany to kolejno q 0, q 1,..., q n 1, gdzie i = n. Zdefiniujmy funkcję F, która przyjmuje słowo, i zwraca krotkę nelementową. Niech F będzie zdefiniowana w następujący sposób: F (w) = (δ(q 0, w), δ(q 1, w),..., δ(q n 1, w)) Gdzie δ to funkcja przejścia automatu A. Zdefiniujmy relację F w następujący sposób: w F v F (w) = F (v). Zauważmy, że Σ / F n n = i i. Jeśli pokażemy, że Σ / inf Σ / F, to pokażemy, że Σ / inf = i inf i i, czyli to co chcemy pokazać. Weźmy dowolne dwa wyrazy w i v. Jeśli w inf v to w jest w klasie abstrakcji inf z v. To, czy są one w jednej klasie abstrakcji w F nas nie interesuje, gdyż jeśli będą w innych liczba klas abstrakcji F się co najwyżej zwiększy. Musimy jedynie pokazać, że w inf v w F v. To będzie oznaczać, że liczba klas abstrakcji relacji inf będzie mniejsza bądź równa liczbie klas abstrakcji relacji F. Żeby to pokazać, pokażmy przez kontrapozycję, że w F v w inf v. Załóżmy, że w F v. To oznacza, że dla dowolnego stanu z którego zaczną, po ich wczytaniu automat zatrzyma się w tym samym stanie. To oznacza, że dla dowolnego słowa początkowego x, xw i xv zatrzymają pracę w tym samym stanie. Skoro tak, to dla dowolnego słowa x xwx i xvx automat skończy działanie w tym samym stanie, więc w szczególności oba będą w języku lub oba nie będą w języku, więc w inf v. Pokazaliśmy, że jeśli dwa słowa nie są w relacji inf liczba klas abstrakcji relacji F oznacza, że i inf ii, to nie są w relacji F. To oznacza, że jest większa (bądź równa) liczbie klas abstrakcji inf. To 6