Nahoru:
Knihovna: Formální jazyky, automaty a automatizace
Články v této kategorii:
| Automaty a gramatiky | PDF(75KB) PNG | |
| Zdroj: sborník | Autor: Tomáš Matoušek | Datum: 2002 Chlumětín |
| 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 |
| NP-úplnost | PDF(76KB) PNG | |
| Zdroj: sborník | Autor: Tomáš Matoušek | Datum: 2003 Loučná |
| NP-úplnost | PDF(37KB) PNG | |
| Zdroj: sborník | Autor: Šárka Štěpánová | Datum: 2001 Tříska |
| Ptákologie | PDF(58KB) PNG | |
| Zdroj: sborník | Autor: Petr Šimeček | Datum: 1999 Jablonná |
| Turingovy stroje | PDF(70KB) PNG | |
| Zdroj: sborník | Autor: David Stanovský | Datum: 2000 Polnička |
Kalendář
-
13. prosince 2024
Vánoční besídka -
6. ledna 2025
Termín odeslání 4. podzimní série
Z naší fotogalerie
