# Vomlelová 7.6.2024

<{ForumPost(poster="Dalek", timestamp=2024-06-07 12:31:10)}>
1. definujte substitúciu, homomorfiznus a inverzný homomorfiznus. Určite uzavretosť na regulárnych a bezkontextových jazykoch. Dokažte.  
2. Co je to SAT, jaka je jeho zložitosť, a co je 3SAT.
<{/ForumPost}>