Před cca dvěma týdny, konkrétně 17. března 2014, nám s prof. Medunou vyšla již druhá kniha z oblasti teorie formálních jazyků. Jedná se o téměř 700 stran rozsáhlou monografii zabývající se řízenými formálními modely. Kniha byla vydána mezinárodním nakladatelstvím Springer v New Yorku. V příspěvku bych vás chtěl s knihou seznámit a popsat své osobní zkušenosti s její tvorbou.
teoretická informatika
V tomto krátkém příspěvku bych vás chtěl společně s prof. Medunou pozvat na přednášku k naší nové knize Regulated Grammars and Automata.
10. prosince 2012 jsem měl společně s prof. Medunou úvodní přednášku na studentské konferenci Language Theory With Applications 2012 na téma "Skákající konečné automaty". O čem tato přednáška byla, kde můžete zhlédnout (konečně zveřejněný) záznam a kde si lze stáhnout materiály se dozvíte v následujícím krátkém příspěvku.
S kolegou Lukášem Vrábelem jsme dokončili projekt, který jsme vypracovali v rámci získaného FRVŠ grantu za rok 2012. Týkal se matematických základů teorie formálních jazyků. O výsledky bych se chtěl podělit v následujícím příspěvku.
Dnes se mi konečně dostal do ruky výtisk naší nové knihy, napsané s mým školitelem, prof. Medunou. Kniha nese název "Regulated Grammars and Their Transformations" a měla by již být k nahlédnutí či zapůjčení ve fakultní knihovně. V tomto příspěvku bych chtěl poskytnout základní údaje o knize a popsat pár zkušeností s její tvorbou.
Během mého studia na FITu, ať již při absolvování předmětu TIN či při přípravě na státní závěrečnou zkoušku, jsem nabyl dojmu, že problematika substitucí, morfismů a uzavřeností jazykových tříd vzhledem k těmto operacím nebývá dostatečně pochopena. Sepsal jsem proto krátký článek, kde se snažím tuto problematiku osvětlit formálně i neformálně na příkladech. Myslím si, že po vhodném vysvětlení na tom není nic složitého :).