Substituce a morfismy jednoduše

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

Abstrakt:

Článek:
Článek je k dispozici ke stažení zde.

Bud rád za jakoukoliv konstruktivní kritiku :). Předpokládám, že by tenhle článek měl sloužit jako neoficiální studijní pomůcka v rámci předmětu TIN.