Изменения

|definition=Отображение '''Гомоморфизмом цепочек''' называется отображение <tex>\varphi : \Sigma_1^* \to \Sigma_2^*</tex>, сохраняющее действующее следующим образом: <tex>\varphi(\overline{c_1 c_2 \ldots c_k}) = \varphi(c_1) \varphi(c_2)\ldots \varphi(c_k)</tex>.}}Таким образом, гомоморфизм цепочек сохраняет операцию конкатенации , а именно: <tex>(\varphi(\alpha\beta) = \varphi(\alpha) \varphi(\beta))</tex>, называется . {{Определение|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>.