Table of Contents

Materials

Doplnující literatura

Autor Název Popis
Benes, Ceska, Hruska:Prekladace skripta(CZ, 1,5 MB, PDF)
Ceska:Gramatiky a jazykyskripta (CZ, 1,5 MB, PDF)
Benes:Prekladaceskripta (CZ, 917 kB, PDF)
Prekladacewebové stránky stránky predmetu, VSB-TU Ostrava (CZ)
Analýza textu pomocí lex/yacckrátká prezentace o použití těchto dvou nástrojů (CZ)
Meduna:Lecture Notes in Compilersstarsí podklady pro prednásky z predmetu ZAP (EN, 55,7 MB, PDF)
Reference material and definitionsprehled ruzných definic, University of Maryland (EN, HTML stránky)
Math & Informaticsstránky pro vyhledávání pojmu nejen z matematiky a informatiky (EN)
Models of computationwebové stránky kurzu, Resselaer Polytechnic Institute (EN)
Computability and Complexitywebové stránky kurzu, University of California, Berkeley (EN)
Turinguv osudwebové stránky osudu Turinga (CZ)

Odkazy pro pokročilejší studenty

Seznam odkazů pro pokročilejší studenty teoretické informatiky a teorie jazyků (diplomanti, studenti doktorského studijního programu a další):

Autor Název Popis
Martin KotŘízené gramatikydiplomová práce o pokročilých formálních modelech, VŠB-TU Ostrava, 2002 (CZ, PDF)

Zde bude seznam odkazů a materiálů, které jsou momentálně nedostupné. Pokud byste našli jejich nějaký funkční odkaz nebo novější verzi, tak dejte prosím vědět na email.

Autor Název Popis
Formální jazyky a automatysoubory ke stazení
FA & Theory of Computationwebové stránky kurzu, The College of William & Merry (EN)
Foundations of Computer Science IIwebové stránky kurzu (EN)