PROFI-LIBRIS MARCIN BADOCHA

tel. 609 733 659

na allegro od 2006 roku

ponad 20 000 udanych transakcji

TEORIA AUTOMATÓW I LINGWISTYKA MATEMATYCZNA

Stanisław Kowalski

Andrzej Włodzimierz Mostowski

• Wydawnictwo: PWN, 1979
• Oprawa: miękka
• Stron: 114
• Stan: bardzo dobry, nieaktualna pieczątka

SPIS TREŚCI

Przedmowa .

Rozdział 1. Języki

§1. Alfabet i słowa .

§2. Operacje na słowach. Porządek

§3. Definicja języka

§4. Przykład gramatyk struktur frazowych

Rozdział 2. Języki bezkontekstowe

§1. Gramatyki bezkontekstowe

§2. Przykłady języków bez kontekstowych

§3. Niejednoznaczność wywodu a semantyka języka

§4. Kontekst

Rozdział 3. Języki regularne

§1. Operacje na językach

§2. Homomorfizmy języków

§3. Wyrażenia regularne

§4. Upraszczanie wyrażeń regularnych

Rozdział 4. Badanie gramatyk bezkontekstowych

§1. Upraszczanie gramatyk bezkontekstowych

§2. Konstrukcje monotonicznych gramatyk bezkontekstowych

§3. Warunek konieczny bezkontekstowości języka

§4. Rozstrzygalność problemu należenia słowa do języka bez kontekstowego

Rozdział 5. Gramatyki regularne

§1. Wykresy gramatyk regularnych -. .

§2. Pierwsze twierdzenie Kleene'a

§3. Drugie twierdzenie Kleene'a

§4. Gramatyki deterministyczne

Rozdział 6. Automaty skończone ...»

§1. Automaty skończone a gramatyki regularne »

§2. Automaty deterministyczne

§3. Różne pojęcia automatu

Rozdział 7. Kongmencje i automaty

§1. Ilorazy

§2. Kongruencje

§3. Klasy abstrakcji

§4. Kongruencje zgodne z językiem

Rozdział 8. Analiza i synteza automatów

§1. O problemach analizy automatu

§2. Metoda analizy automatu

§3. O problemach syntezy automatu

§4. Metoda ilorazów

§5. Porównanie obu metod syntezy

§6. Synteza automatów Mullera-Buchi

§7. Ilorazy a analiza automatów.

Rozdział 9. Automaty ze stosem

§1. Pamięć stosowa

§2. Działania automatu ze stosem

§3. Akceptowałność języków przez automaty ze stosem

§4. Języki akceptowane przez automaty ze stosem

Rozdział 10. Języki programowania

§1. Syntaktyka języka PL

§2. Sematyka języka PL

§3. Gramatyki Backusa-Naura a rzeczywiste języki programowania

Rozdział 11. Maszyny Turinga

§1. Definicja maszyny Turinga

§2. Akceptowalność języków przez maszynę Turinga \ ..... . §3. Funkcje sygnalizujące i złożoność problemu akceptacji języków §4. Rozstrzygalne i nierozstrzygalne problemy lingwistyki

Literatura

Wykaz niektórych terminów i oznaczeń