Homepage of Zoltán Fülöp

Teaching material (in Hungarian)

Előadásdiák

Formális nyelvek I/1. (pdf), I/2. (pdf), II. (pdf) és III. (pdf)

Szintaktikus elemzési módszerek (pdf)

Modell ellenőrzés (pdf)

Példák Turing gépre (pdf)

Faautomaták (pdf)

Jegyzetek

Automaták és formális nyelvek jegyzet (pdf)

Logika és informatikai alkalmazásai jegyzet (pdf)

Vizsgakérdések

Automaták és formális nyelvek (pdf)

Formális nyelvek (pdf)

Formális nyelvek és szintaktikus elemzésük (pdf)

Kiszámíthatóság-elmélet (pdf)

Modell ellenőrzés (pdf)

Programhelyesség bizonyítás (pdf)

Last updated

21/12/2012