Skip to main content
DL 1
  • Support
    User support Contact us
  • English ‎(en)‎
    Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎
  • You are not logged in. (Log in)
  • Automaty a gramatiky
  • General
  • Obecné
  • Cvičení P. Gregor
  • Cvičení D. Kuboň
  • Cvičení V. Majerech
  • 2.3. Konečné automaty, regulární jazyky, Iterační (pumping) lemma
  • Redukce a ekvivalence automatů
  • nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
  • Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
  • Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj
  • Gramatiky, Chomského hierarchie, L3 a FA, lineání gramatiky, CFG
  • Zásobníkové automaty, přijímání stavem, prázdným zásobníkem, vztah s CFG
  • Deterministické a bezprefixové PDA
  • Chomského normální forma, Pumping lemma pro CFG
  • Uzávěrové vlastnosti CFL, Dyckovy jazyky
  • Uzávěrové vlastnosti bezkontextových jazyků, Dyckovy jazyky
  • Deterministické a nedeterministické Turingovy stroje, Gramatiky Typu 0 (obecné gramatiky)
  • Dělící čára minulosti a budoucnosti
  • Diagonální jazyk, Univerzální TM, algoritmicky nerozhodnutelné problémy, Postův korespondenční problém
  • Předběžné sumáře
  • Home

Course info

  1. Home
  2. Courses
  3. Faculty of Mathematics and Physics
  4. Automaty a gramatiky
  5. Summary

Automaty a gramatiky

  • Teacher: Jakub Bulín
  • Teacher: Petr Gregor
  • Teacher: David Kuboň
  • Teacher: Vladan Majerech
  • Teacher: Marta Vomlelová

You are not logged in. (Log in)
Automaty a gramatiky
  • Support
    • User support
    • Contact us
  • English ‎(en)‎
    • Čeština ‎(cs)‎
    • Deutsch ‎(de)‎
    • English ‎(en)‎
    • Français ‎(fr)‎
    • Русский ‎(ru)‎
Data retention summary
Get the mobile app
Policies