Изменения
Another naming fixup.
==Определение==
{{Определение
|definition='''Морфизмом''' называется отображение <tex>h_0 h : \Sigma^* \rightarrow \Sigma^*</tex>, которое каждой букве <tex>\lambda</tex> из алфавита <tex>\Sigma</tex> ставит в соответствие строку <tex>h(\lambda)</tex> из множества <tex>\Sigma^{+}</tex>,а затем данное отображение распространяется на <tex>\Sigma^*</tex> следующим образом:
<tex>h(s) =
\left\{ \begin{array}{ll}
\varepsilon, & s \in \Sigma^0 \\
\end{array}
* <tex>h(a) = ab</tex>
* <tex>h(b) = a</tex>
к строке <tex>x_0 s = b</tex>, т.е. <tex>h^*(b)</tex>.
}}
'''База:''' При <tex>n = 2</tex> равенство очевидно.
'''Переход:''' Пусть <tex>n > 2</tex> и <tex>f_n = f_{n-1}f_{n-2}</tex>. <tex>f_{n+1} = h(f_n) = h(f_{n-1}f_{n-2})</tex>. Т.к. Так как отображение h {{---}} линейна линейно (т.е. <tex>h(xy) = h(x)h(y)</tex>), то можно продолжить равенство:
<tex>f_{n+1} = h(f_{n-1})h(f_{n-2}) = f_{n}f_{n-1}</tex>.
}}
