Fülöp Zoltán honlapja

Oktatási segédanyagok

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)

Utoljára frissítve

2012. dec. 21.