definujte substitúciu, homomorfiznus a inverzný homomorfiznus. Určite uzavretosť na regulárnych a bezkontextových jazykoch. Dokažte.
Co je to SAT, jaka je jeho zložitosť, a co je 3SAT.
