matematika

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.

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 :).

Před pár dny mi konečně došla nová kniha od A. Stepanova (autor C++ STL) a P. McJonese, nazvaná Elements of Programming (EOP), která byla vydána v roce 2009. Tuto knihu, která bývá srovnávána s Knuthovým The Art of Computer Programming (TAOCP) (ať už svými myšlenkami, či matematickou náročností), bych vám chtěl v následujícím příspěvku velmi krátce představit.