Поговорили
Я (16:23):Витя, а давайте вы спрограммируете эту штуку? Это же очень просто.
Программист Витя (16:25):
не совсем так.
синонимы матчатся по принципу детерменированного конечного автомата, который воспринимает именно заданную последовательность.
Я (16:26):
а гомоморфный образ группы изоморфен фактор-группе по ядру гомоморфизма!