3622
правки
Изменения
тривиальные гомоморфизмы
=== Примеры ===
* тривиальный гомоморфизмтривиальные гомоморфизмы** обнуляющий: <tex> \varphi(x) = \varepsilon, x \in L </tex>, тогда <tex> \varphi(L) = \{ \varepsilon \} </tex>** тождественный: <tex> \varphi(x) = x, x \in L </tex>, тогда <tex> \varphi(L) = L </tex>
* гомоморфизм цепочек: <tex> \varphi: \Sigma_1 \to \Sigma_2^* </tex>, действует от каждого символа строки из языка, то есть <tex> \varphi(\overline{c_1 c_2 ... c_n}) = \varphi(c_1)\varphi(c_2) ... \varphi(c_k) </tex>. Регулярные языки [[Замкнутость регулярных языков относительно различных операций#st1 | замкнуты]] относительно гомоморфизма цепочек
* ''солнечный язык'' из детских игр (когда после каждой гласной в слове надо добавлять букву "С" и эту же гласную) может быть представлен в виде гомоморфизма языков, где все согласные символы отображаются сами в себя, а гласный символ <tex> z </tex> переходит в <tex> zCz </tex>
