Cocke-Kasami-Younger.JPGZobrazit Stáhnout
Ukázka algoritmu Cocke-Kasami-Younger
972 kB
verze 1
18.12.2010 9:54
Automaty a Gramatiky
DiagonalizaceanerozhodnutelnostHP1.JPGZobrazit Stáhnout
Ukázka diagonalizace a rozhodnutelnosti Halting problému (problém zastavení) 1.část ze 2
939 kB
verze 1
28.12.2010 11:28
Automaty a Gramatiky
DiagonalizaceanerozhodnutelnostHP2.JPGZobrazit Stáhnout
Ukázka diagonalizace a rozhodnutelnosti Halting problému (problém zastavení) 2.část ze 2
1051 kB
verze 1
28.12.2010 11:29
Automaty a Gramatiky
Greibachovanormalniforma1.JPGZobrazit Stáhnout
Greibachova normální forma (část 1/4)
943 kB
verze 2
18.12.2010 9:56
Automaty a Gramatiky
Greibachovanormalniforma2.JPGZobrazit Stáhnout
Greibachova normální forma (část 2/4)
1077 kB
verze 2
18.12.2010 9:56
Automaty a Gramatiky
Greibachovanormalniforma3.JPGZobrazit Stáhnout
Greibachova normální forma (část 3/4)
947 kB
verze 1
18.12.2010 9:55
Automaty a Gramatiky
Greibachovanormalniforma4.JPGZobrazit Stáhnout
Greibachova normální forma (část 4/4)
778 kB
verze 1
18.12.2010 9:56
Automaty a Gramatiky
Chomskehonormalniforma(priklad1)1.JPGZobrazit Stáhnout
Chomského normální forma, příklad 1, (část 1/3)
911 kB
verze 1
18.12.2010 9:58
Automaty a Gramatiky
Chomskehonormalniforma(priklad1)2.JPGZobrazit Stáhnout
Chomského normální forma, příklad 1, (část 2/3)
880 kB
verze 1
18.12.2010 9:58
Automaty a Gramatiky
Chomskehonormalniforma(priklad1)3.JPGZobrazit Stáhnout
Chomského normální forma, příklad 1, (část 3/3)
885 kB
verze 1
18.12.2010 9:58
Automaty a Gramatiky
Chomskehonormalniforma(priklad2)2.JPGZobrazit Stáhnout
Chomského normální forma, příklad 2, (část 2/3)
895 kB
verze 1
18.12.2010 9:59
Automaty a Gramatiky
Chomskehonormalniforma(priklad2)3.JPGZobrazit Stáhnout
Chomského normální forma, příklad 2, (část 3/3)
760 kB
verze 1
18.12.2010 9:59
Automaty a Gramatiky
Chomskehonormalniforma(priklad2).JPGZobrazit Stáhnout
Chomského normální forma, příklad 2, (část 1/3)
940 kB
verze 1
18.12.2010 9:58
Automaty a Gramatiky
kleenovaveta.JPGZobrazit Stáhnout
Kleeneova věta a řešení rovnic nad regulárními výrazy
831 kB
verze 1
26.12.2010 7:21
Automaty a Gramatiky
Myhillnerodovaveta.JPGZobrazit Stáhnout
Myhill Nerodova věta - ukázka použití
956 kB
verze 1
18.12.2010 9:59
Automaty a Gramatiky
odstrantee-pravidla1.JPGZobrazit Stáhnout
Příklad na odstranění e-pravidel z gramatiky
725 kB
verze 1
18.12.2010 9:22
Automaty a Gramatiky
odstrantee-pravidla2.JPGZobrazit Stáhnout
Příklad na odstranění e-pravidel z gramatiky (číslo 2)
778 kB
verze 2
18.12.2010 9:23
Automaty a Gramatiky
odstrantee-pravidla3.JPGZobrazit Stáhnout
Příklad na odstranění e-pravidel z gramatiky (číslo 3)
804 kB
verze 1
18.12.2010 9:23
Automaty a Gramatiky
Problemneprazdnostijazyka1.JPGZobrazit Stáhnout
Důkaz, že problém neprázdnosti jazyka TS není rozhodnutelný (část 1/2)
1136 kB
verze 1
29.12.2010 12:07
Automaty a Gramatiky
Problemneprazdnostijazyka2.JPGZobrazit Stáhnout
Důkaz, že problém neprázdnosti jazyka TS není rozhodnutelný (část 2/2)
1082 kB
verze 1
29.12.2010 12:07
Automaty a Gramatiky
Syntaktickaanalyzashoradolu.JPGZobrazit Stáhnout
Syntaktická analýza shora dolů
967 kB
verze 1
18.12.2010 10:01
Automaty a Gramatiky
Syntaktickaanalyzazdolanahoru.JPGZobrazit Stáhnout
Syntaktická analýza zdola nahoru (část 1/2)
1071 kB
verze 1
18.12.2010 10:01
Automaty a Gramatiky
Syntaktickaanalyzazdolanahoru(pokracovani).JPGZobrazit Stáhnout
Syntaktická analýza zdola nahoru (část 2/2)
875 kB
verze 1
18.12.2010 10:02
Automaty a Gramatiky
Turinguvstrojalespon2009stavu.JPGZobrazit Stáhnout
Rozhodnout zda Turingův stroj má alespoň 2009 stavů
1037 kB
verze 2
18.12.2010 10:04
Automaty a Gramatiky
Uzavrenostvucisubstitucijazyku.JPGZobrazit Stáhnout
Uzavřenost L0 vůči substituci jazyků
1105 kB
verze 1
29.12.2010 12:01
Automaty a Gramatiky
ZasobnikovyautomatL1997.JPGZobrazit Stáhnout
Navrhnout zásobníkový automat
1170 kB
verze 1
18.12.2010 10:05
Automaty a Gramatiky
