Detail předmětu

Teoretická informatika (v angličtině)

FIT-TINeAk. rok: 2023/2024

Aplikace teorie formálních jazyků v informatice a informačních technologiích (překladače, modelování a analýza systémů, lingvistika, biologie atd.), modelovací a rozhodovací síla formálního modelu, regulární jazyky a jejich vlastnosti, minimalizace konečného automatu, bezkontextové jazyky a jejich vlastnosti, Turingovy stroje, vlastnosti rekurzivních a rekurzivně vyčíslitelných jazyků, vyčíslitelné funkce, nerozhodnutelnost, nerozhodnutelné problémy teorie formálních jazyků, úvod do výpočetní složitosti.

Jazyk výuky

angličtina

Počet kreditů

Garant předmětu

doc. RNDr. Milan Češka, Ph.D.

Zajišťuje ústav

Ústav inteligentních systémů (UITS)

Nabízen zahraničním studentům

Všech fakult

Vstupní znalosti

Základní znalosti z binárních relací, teorie grafů a formálních jazyků včetně konečných a zásobníkových automatů a pojmů algoritmické složitosti.

Pravidla hodnocení a ukončení předmětu

Bodové hodnocení výsledků půlsemestrální zkoušky (max 20 bodů) a vypracovaných projektů (max. 20 bodů).
Písemná půlsemestrální zkouška, průběžná kontrola a hodnocení projektů.

Učební cíle

Rozšíření znalostí teorie formálních jazyků a osvojení základů teorie vyčíslitelnosti a základních pojmů výpočetní složitosti.
Znalosti základních a pokročilejších pojmů, přístupů a výsledků teorie automatů a teorie  vyčíslitelnosti a  základů teorie výpočetní složitosti, vedoucí k hlubšímu pochopení povahy popisu a realizace výpočetních procesů. Student je schopen aplikovat získané znalosti při řešení teoretických i praktických problémů modelování, programování, formální specifikace, automatizace návrhu, verifikace a umělé inteligence.
Student získává základní kompetence k teoretické výzkumné práci.

Prerekvizity a korekvizity

Základní literatura

Brookshear, J.G. : Theory of Computation: Formal Languages, Automata, and Complexity, The Benjamin/Cummings Publishing Company, Inc, Redwood City, California, 1989. ISBN 0-805-30143-7  (EN)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 2nd ed., 2000. ISBN 0-201-44124-1 (EN)
Kozen, D.C.: Automata and Computability, Springer-Verlag, New Yourk, Inc, 1997. ISBN 0-387-94907-0. (EN)
Martin, J.C.: Introduction to Languages and the Theory of Computation, McGraw-Hill, Inc., 3rd ed., 2002. ISBN 0-072-32200-4. (EN)

Doporučená literatura

Aho, A.V., Ullmann, J.D.: The Theory of Parsing,Translation and Compiling, Prentice-Hall, 1972. ISBN 0-139-14564-8
Brookshear, J.G. : Theory of Computation: Formal Languages, Automata, and Complexity, The Benjamin/Cummings Publishing Company, Inc, Redwood City, California, 1989. ISBN 0-805-30143-7
Češka, M. a kol.: Vyčíslitelnost a složitost, Nakl. VUT Brno, 1993. ISBN 80-214-0441-8 (CS)
Kozen, D.C.: Automata and Computability, Springer-Verlag, New York, Inc, 1997. ISBN 0-387-94907-0 (EN)
Martin, J.C.: Introduction to Languages and the Theory of Computation, McGraw-Hill, Inc., 3rd ed., 2002. ISBN 0-072-32200-4 (EN)
Meduna, A.: Formal Languages and Computation. New York, Taylor & Francis, 2014. (EN)

Elearning

eLearning: aktuální otevřený kurz

Zařazení předmětu ve studijních plánech

  • Program IT-MGR-2 magisterský navazující

    obor MGMe , 1 ročník, letní semestr, povinný

  • Program MIT-EN magisterský navazující 1 ročník, letní semestr, povinný

  • Program IT-MGR-1H magisterský navazující

    specializace MGH , 0 ročník, letní semestr, doporučený kurs

Typ (způsob) výuky

 

Přednáška

39 hod., nepovinná

Vyučující / Lektor

doc. RNDr. Milan Češka, Ph.D.
Ing. Filip Macák

Osnova

  1. Úvod, aplikace teorie formálních jazyků, modelovací a rozhodovací síla formálního modelu, operace nad jazyky.
  2. Regulární jazyky a jejich vlastnosti, Kleenova věta, Nerodova věta, věta o vkládání (Pumping theorem).
  3. Minimalizace konečného automatu, relace nerozlišitelnosti stavů, konstrukce redukovaného konečného automatu.
  4. Uzávěrové vlastnosti regulárních jazyků, regulární jazyky jako množinová Booleova algebra, rozhodnutelné problémy regulárních jazyků.
  5. Bezkontextové jazyky a jejich vlastnosti. Normální tvary bezkontextových gramatik, jednoznačné a deterministické bezkontextové jazyky, věta o vkládání pro bezkontextové jazyky.
  6. Uzávěrové vlastnosti bezkontextových jazyků, uzavřenost vzhledem k substituci, důsledky, rozhodnutelné problémy bezkontextových jazyků.
  7. Turingovy stroje (TS), definice TS a jazyka přijímaného TS, rekurzivně vyčíslitelné a rekurzivní jazyky a problémy, TS a funkce, metody konstrukce TS.
  8. Modifikace TS, TS s obousměrně nekonečnou páskou, s více páskami, nedeterministický TS, stroj se dvěma zásobníky, stroje s čitači.
  9. TS a jazyky typu 0, diagonalizace, vlastnosti rekurzivních a rekurzivně vyčíslitelných jazyků, lineárně ohraničené automaty a jazyky typu 1.
  10. Vyčíslitelné funkce, počáteční funkce, primitivně rekurzivní funkce, mí-rekurzivní funkce, vztah vyčíslitelných funkcí a Turingových strojů.
  11. Church-Turingova téze, univerzální TS, nerozhodnutelnost, problém zastavení TS, redukce, Postův korespondenční problém.
  12. Nerozhodnutelné problémy teorie formálních jazyků.
  13. Úvod do výpočetní složitosti, Turingovská složitost, třída P a NP problémů.

Projekt

13 hod., povinná

Vyučující / Lektor

doc. RNDr. Milan Češka, Ph.D.

Osnova

  • Řešení problému z oblasti regulárních jazyků a konečných automatů.
  • Řešení problému z oblasti bezkontextových jazyků.
  • Řešení problému z oblasti Turingových strojů.
  • Řešení problému z oblasti vyčíslitelných funkcí.

Elektronické učební texty

HW1
hw1-2021.pdf 0.07 MB
hw1-2021.pdf 0.07 MB
Ex3
TINe-set_2.pdf 0.08 MB
TINe-set_3.pdf 0.07 MB
Ex2
TINe-set_2.pdf 0.08 MB
TINe-set_2.pdf 0.08 MB
Ex4
TINe-set_4.pdf 0.07 MB
HW2
hw2.pdf 0.07 MB
Ex5
TINe-set_5.pdf 0.07 MB

Elearning

eLearning: aktuální otevřený kurz