Práce na stejné téma (mají shodná klíčová slova):
pushdown automatonKlíčová slova abecedně | Klíčová slova dle četnosti
Interaktivní nástroj pro výuku zásobníkových automatů.
(Jan Fojtík)2024, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/153797 | Informatika / | Práce na příbuzné téma
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pxz9s/ | Informatika / | Práce na příbuzné téma
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/olmmy/ | Informatika / | Práce na příbuzné téma