| Automaty a regulární jazyky | PDF(62KB) PNG |
| Velmi technický článek o tom, jak pomocí jednoduchých strojů rozpoznat, zda
určité slovo patří do vybrané předem určené množiny nebo nepatří. Dále jsou
zde popsány formální modely strojů, které při každé operaci zapíší nějaký
znak na výstup (Mealyho a Mooreovy automaty). |
| Zdroj: sborník | Autor: Anša Lauschmannová | Datum: 2004 Oldřichov |
| Formální jazyky a automaty | PDF(84KB) PNG |
| Zdroj: sborník | Autor: Petr Šimeček | Datum: 2001 Tříska |
| Naučit počítač myslet | PDF(47KB) PNG |
| Formální zápis (bez podrobnějšího výkladu) důkazového systému pro výrokovou
logiku. |
| Zdroj: sborník | Autor: Anša Lauschmannová | Datum: 2005 Bernartice |
