Teoria automatów i języków formalnych
Wykład, realizacja - jesień 2025
- 8 X 2025. Wyrażenia regularne. Języki generowane przez wyrażenia regularne. Równoważność wyrażeń regularnych. Lemat Myhill-Nerode, lemat o pompowaniu dla języków regularnych. Gramatyki regularne (prawostronnie liniowe i lewostronnie liniowe) - definicja.
Wykład, realizacja - jesień 2024
- 2 X 2024. Informacje organizacyjne. Pojęcia podstawowe: alfabet, słowo nad alfabetem, zbiór wszystkich słów nad alfabetem, porządek kanoniczny, przeliczalność zbioru słów, język nad alfabetem, nieprzeliczalność zbioru języków. Gramatyka, wywód, język generowany przez gramatykę. Definicje relacji prawostronnie niezmienniczej i indukowanej przez język.
- 9 X 2024. Wyrażenia regularne. Języki generowane przez wyrażenia regularne. Równoważność wyrażeń regularnych. Lemat Myhill-Nerode, lemat o pompowaniu dla języków regularnych. Gramatyki regularne (prawostronnie liniowe i lewostronnie liniowe) - definicja.
- 16 X 2024. Gramatyki bezkontekstowe, drzewa wywodu, jednoznaczność wywodu słów, jednoznaczność gramatyk i języków. Symbole bezużyteczne, ich identyfikacja i usuwanie. Symbole wycieralne, produkcje jednostkowe. Upraszczanie gramatyk. Postać normalna Chomskiego, przekształacnie gramatyki bezkontekstowej do postaci normalnej Chomskiego.
- 23 X 2024. Języki bezkontekstowe: lemat o pompowaniu, dowód, zastosowanie. Lemat Ogdena, dowód. Algorytm Cocke-Younger-Kasami, zastosowania (prznależność słowa do języka, drzewa wywodu).
- - - 30 X 2024. Wykład odwołany. - 6 XI 2024. Języki bezkontekstowe: postać normalna Greibach. Gramatyki kontekstowe i nieograniczone, postać normalna gramatyk kontekstowych, metoda przekształcania do postaci normalnej.
- 13 XI 2024. Klasa języków rekurencyjnie przeliczalnych - definicja. Gramatyki kontekstowe i nieograniczone, przykłady. Maszyny Turinga, model podstawowy, modyfikacje modelu podstawowego, maszyny z taśmą wielościeżkową, równoważność modyfikacji z modelem podstawowym, maszyny wielotaśmowe. (ML)
- 20 XI 2024. Maszyny Turinga z wielotaśmowe, przykład, wnoważność z maszynami jednotaśmowymi, dowód. Maszyny Turinga niedeterministyczne.
- 27 XI 2024. Równoważność klas maszyn Turinga niedeterministycznych i niedeterministycznych. Automaty liniowo ograniczone. Automaty ze stosem, definicja, przykład.
- 4 XII 2024. Automaty ze stosem, warunki determinizmu, równoważność akceptacji stanem akceptującym oraz pustymi stosem i wejściem, automaty ze stosem jako ograniczone maszyny Turinga. Automaty skończone deterministyczne i niedeterministyczne, konfiguracja, obliczenie, przykłady.
- 11 XII 2024. Automaty skończone deterministyczne, niedeterministyczne i z e-przejściami, obliczenie, przykłady. Domknięcie funkcji przejścia. Równoważność klas automatów deterministycznych i niedeterministycznych.
- 18 XII 2024. Równoważność klas automatów deterministycznych, niedeterministycznych i z e-przejściami. Równoważność klas wyrażeń regularnych, automatów skończonych i gramatyk regularnych. Domkniętość klasy języków regularnych ze względu na operacje na językach.
- 15 I 2025. Lemat o pompowaniu dla języków regularnych, twierdzenie Myhill-Nerode, dowody, minimalne deterministyczne automaty skończone. Kodowanie gramatyk, kodowanie maszyn Turinga. Język przekątniowy w klasie języków kontekstowych.
- 22 I 2025. Hierarchia Chomskiego: ścisłe zawieranie klas języków, język przekątniowy w klasie języków rekurencyjnie przeliczalnych, język uniwersalny, język przekątniowy w klasie języków kontekstowych - wyjasnienie, języki i ich dopełnienia, gramatyki a maszyny Turinga i automaty liniowo ograniczone.
- 29 I 2025. Zastosowania praktyczne gramatyk bezkontekstowych: gramatyki LL(1), gramatyka generacji wyrażeń arytmetycznych i translacji do postaci przyrostkowej (nie obowiązuje na egzaminie).
- 31 I 2025. Egzamin zerowy.
Ćwiczenia, realizacja - jesień 2024
Informacje o ćwiczeniach są na stronach internetowych prowadzących: prof. Anna Zamojska-Dzienio, prof. Konstanty Junosza-Szaniawski, dr inż. Janusz Rafałko
Program przedmiotu:
Przedmiot | Teoria automatów i języków |
Kierunek/Semestr | Informatyka / sem V |
Rodzaj przedmiotu | obowiązkowy |
Prowadzący | dr hab. inż. Władysław Homenda |
Godziny tygodniowo i sposób zaliczenia | 2 / 2 / 0 / 0 / E |
Kod przedmiotu | ---- |
Program wykładu:
- Wiadomości wstępne - przypomnienie: relacje, indukcja zupełna.
- Wyrażenia i języki regularne, lemat o pompowaniu, lemat Myhill-Nerode.
- Gramatyki i języki, gramatyki i języki bezkontekstowe, lemat o pompowaniu, lemat Ogdena.
- Gramatyki i języki kontekstowe.
- Gramatyki nieograniczone i języki rekurencyjnie przeliczalne.
- Maszyny Turinga i ich odmiany, jezyki rekurencyjnie przeliczalne i rekurencyjne.
- Automaty liniowo ograniczone i jezyki kontekstowe
- Automaty ze stosem i jezyki bezkontekstowe.
- Automaty skonczone i jezyki regularne, twierdzenie Myhill-Nerode.
- Hierarchia Chomsky’ego jezyków .
- Uwagi o rozstrzygalności.
Literatura podstawowa:
- Hopcroft J.E. Ullman J.D., Wprowadzenie do teorii automatów, jezyków i obliczen, WNT
- W. Homenda, Elementy lingwistyki matematycznej i teorii automatów, WPW
- W. Homenda, W. Pedrycz, Automata Theory and Formal Languages, De Gruyter, pp. 1-231, 2022.
Przedmioty poprzedzajace:
Podstawy matematyki – algebra, wstep do logiki i teorii mnogosci.
Regulamin zaliczenia przedmiotu (5 października 2021):
- zaliczenie przedmiotu uzyskuje się przez zaliczenie egzaminu w terminach wyznaczonych przez dziekanat (dwa terminy w sesji zimowej, jeden termin w sesji jesiennej),
- zaliczenie egzaminu wymaga uzyskania zaliczenia części praktycznej i części teoretycznej egzaminu (uzyskania ponad 50% punktów za każdą część) w tym samym terminie wyznaczonym przez dziekanat,
- osoby, które dobrze zaliczą ćwiczenia (uzyskają wynik powyżej progu zwolnienia), mogą skorzystać z jednokrotnego zwolnienia z części praktycznej przy pierwszym przystąpieniu do egzaminu w dowolnym z trzech terminów wyznaczonych przez dziekanat,
- ocena końcowa jest średnią z ocen za część praktyczną (lub uzyskaną z ćwiczeń) i teoretyczną, oceny z każdej części odpowiadają punktom uzyskanym z tych części według zwykłej skali (dst za >50% punktów, dst+ za >60% punktów itd.),
- obie części egzaminu mają formę sprawdzianów pisemnych i są organizowane według reguł przygotowanych przez dziekanat, ponadto: na części praktycznej egzaminu można mieć własnoręcznie zapisaną kartkę formatu A5, do części teoretycznej można przystąpić po zaliczeniu części praktycznej, na części teoretycznej nie można korzystać z żadnych pomocy.
Regulamin zaliczenia przedmiotu (18 października 2016):
- zaliczenie przedmiotu uzyskuje się przez zaliczenie egzaminu w terminach wyznaczonych przez dziekanat (dwa terminy w sesji zimowej, jeden termin w sesji jesiennej),
- zaliczenie egzaminu wymaga uzyskania zaliczenia części praktycznej i części teoretycznej egzaminu (uzyskania ponad 50% punktów za każdą część) w tym samym terminie wyznaczonym przez dziekanat,
- osoby, które zaliczą część laboratoryjną, mogą skorzystać z jednokrotnego zwolnienia z części praktycznej przy pierwszym przystąpieniu do egzaminu w dowolnym z trzech terminów wyznaczonych przez dziekanat,
- ocena końcowa jest średnią z ocen za część praktyczną (lub uzyskaną z części laboratoryjnej) i teoretyczną, oceny z każdej części odpowiadają punktom uzyskanym z tych części według zwykłej skali (dst za >50% punktów, dst+ za >60% punktów itd.),
- obie części egzaminu mają formę sprawdzianów pisemnych i są organizowane według reguł przygotowanych przez dziekanat, ponadto: na części praktycznej egzaminu można mieć własnoręcznie zapisaną kartkę formatu A5, do części teoretycznej można przystąpić po zaliczeniu części praktycznej, na części teoretycznej nie można korzystać z żadnych pomocy.
Regulamin zaliczenia przedmiotu (1 października 2015):
- zaliczenie przedmiotu wymaga uzyskania zaliczenia części praktycznej i części teoretycznej, zaliczenie obu części musi być uzyskane w bieżącym roku akademickim,
- zaliczenie części praktycznej można uzyskać a) na ćwiczeniach przez zaliczenie bieżących prac laboratoryjnych, b) w pierwszym terminie egzaminu wyznaczonym przez dziekanat,
- do zaliczenia części teoretycznej można przystąpić po wcześniejszym zaliczeniu części praktycznej, zaliczenie części teoretycznej uzyskuje się przystępując do egzaminu w terminach wyznaczonych przez dziekanat (dwa terminy w sesji zimowej, jeden termin w sesji jesiennej),
- ocena z części teoretycznej jest oceną z pierwszej próby lub ndst i ocena z drugiej próby (wpisana ocena niedostateczna z pierwszej próby i ocena z drugiej próby) lub ndst, ndst i ocena według formuły max(2,floor(o3)-1), gdzie o3 jest oceną z trzeciej próby (5 października 2015),
- końcowa ocena jest średnią ocen z części praktycznej i teoretycznej,
- sprawdziany są organizowane według reguł przygotowanych przez dziekanat, ponadto: na sprawdzianach części praktycznej można mieć własnoręcznie zapisaną kartkę formatu A5, do części teoretycznej można przystąpić po zaliczeniu części praktycznej, na sprawdzianach części teoretycznej nie można korzystać z żadnych pomocy.