Automaty a gramatiky

13. týden: Algoritmus Cocke-Younger-Kasami. Uzávěrové vlastnosti a (ne)rozhodnutelné problémy pro bezkontextové jazyky.

Domácí úkol: zadání 11 sady. Vypracujte do pondělí 15. 12. 2008 do 10:00. Řešení ve formátu pdf (každý příklad na samostatnou stránku) lze odevzdat zde. Řešení můžete vysázet v LaTeXu, zdroják zadání je ke stažení zde. K dispozici je už také řešení 10. sady.