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ář
-
8. prosince 2025
Termín odevzdání 3. podzimní a 1. seriálové série -
12. prosince 2025
PraSečí vánoční besídka -
13. prosince 2025
Pojďte si zasoutěžit na prvním Meczi! -
5. ledna 2026
Termín odevzdání 4. podzimní série
Z naší fotogalerie
