Изменения

'''Прообразом языка''' <tex>M \subset \Sigma_2^*</tex> при гомоморфизме <tex>\varphi: \Sigma_1^* \to \Sigma_2^*</tex> (иногда называют '''обратным гомоморфизмом''') называется язык <tex>L = \varphi^{-1}(M) \overset{\underset{\mathrm{def}}{}}{=} \{ x \mid \varphi(x) \in M \}</tex>.<br>Заметим, что <tex>\varphi</tex> будет [[Моноид#defmonhom | гомоморфизмом моноидов]] <tex>\langle L, \cdot, \varepsilon \rangle</tex> и <tex>\langle M, \cdot, \varepsilon \rangle</tex>