3622
правки
Изменения
м
Нет описания правки
{{Определение
|definition='''Гомоморфизмом языков''' <tex> L_1 </tex> и <tex> L_2 </tex> называется отображение <tex>\Phi : L_1 \to L_2</tex> такое, что
<tex> \Phi(L_1) = \{\varphi(x) | x \in L_1 \} = L_2 </tex>, где <tex> \varphi </tex> {{---}} ''гомоморфизм цепочек''.
}}
