Изменения

Перейти к: навигация, поиск
примеры гомоморфизмов
=== Примеры ===
* TODO тривиальный гомоморфизм — отобразить все в пустую строку* TODO гомоморфизм который цепочечный или как его там — где : <tex> \varphi(x) = \varepsilon, x \in L </tex>, тогда <tex>\varphi(L) = \{ \varepsilon \} </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 | замкнуты]] относительно которого регулярный замкнутгомоморфизма цепочек* TODO какой-нибудь смешной гомоморфизм''солнечный язык'' из детских игр (когда после каждой гласной в слове надо добавлять букву "С" и эту же гласную) может быть представлен в виде гомоморфизма языков, например, стирающий где все согласные символы 'b' из слов языка L.отображаются сами в себя, а гласный символ <tex> z </tex> переходит в <tex> zCz </tex>
* TODO ну и для обратного гомоморфизма тоже какой-нибудь интересный пример

Навигация