Функция, действующая на текстовых строках, определяемая следующими аксиомами: 1.
* M(а)=б; М(б)=в; М(в)=г и т. д. 2.
* Для любых двух непустых строк w1 и w2: М(w1w2)=М(w1)М(w2) Вычисление функции М(ФТИ) — одно из любимых занятий кота, когда ему не(М(ФТИ)) делать.
Функция, действующая на текстовых строках, определяемая следующими аксиомами: 1.
* M(а)=б; М(б)=в; М(в)=г и т. д. 2.
* Для любых двух непустых строк w1 и w2: М(w1w2)=М(w1)М(w2) Вычисление функции М(ФТИ) — одно из любимых занятий кота, когда ему не(М(ФТИ)) делать.