Dokážte, že pre gramatiku definovanú na prednáške pri dôkaze izomorfizmu voľných schém platí: Dve kompatibilné voľné schémy S1 a S2 sú izomorfné práve vtedy, ak jazyky L(S1) a L(S2) generujú tie isté množiny slov. Ďalej zdôvodnite ako musí byť definovaná história výpočtu, aby dôkaz zafungoval.
(2 body)
Dokážte, že ekvivalencia Janovových schém je rozhodnuteľná.
(3 body)