Materiály
Automaty a gramatiky [NTIN071]
Přednáška 5
Úvod do konzistenčních technik, vrcholová konzistence…
Automaty a gramatiky [NTIN071]
UK v Praze
PDF (397.66 kB)
11. 12. 2011
Přednáška 4
Metody pohledu zpět u algoritmů prohledávání do hloubky…
Automaty a gramatiky [NTIN071]
UK v Praze
PDF (637.4 kB)
11. 12. 2011
Přednáška 3
Algoritmy lokálního prohledávání (GSAT, GENET). Úvod…
Automaty a gramatiky [NTIN071]
UK v Praze
PDF (1.6 MB)
11. 12. 2011
Přednáška 2
Přehled algoritmů pro řešení podmínek prohledáváním.…
Automaty a gramatiky [NTIN071]
UK v Praze
PDF (1021.42 kB)
11. 12. 2011
Přednáška 1
Úvod, historické souvislosti, ukázky aplikací, vlastnosti…
Automaty a gramatiky [NTIN071]
UK v Praze
PDF (2.8 MB)
11. 12. 2011
Cvičení 10
Normální tvary BKG a lemma o vkládání.
Automaty a gramatiky [NTIN071]
UK v Praze
PDF (133.64 kB)
11. 12. 2011
Cvičení 9
Zásobníkové automaty.
Automaty a gramatiky [NTIN071]
UK v Praze
PDF (134.2 kB)
11. 12. 2011
Cvičení 8
Bezkontextové gramatiky, redukce a derivační stromy.
Automaty a gramatiky [NTIN071]
UK v Praze
PDF (127.1 kB)
11. 12. 2011