Построить трансдьюсер в нормальной форме

[dxd]

Добрый день, помогите разобраться.
$\beta:\{a,b\}^* \times \beta:\{a,b\} $ - подстановка, заданная равенствами $a\beta=a^+ , b\beta=b^+$. Построить трансдьюсер в нормальной форме, вычисляющий $\beta$.
Спасибо.

[Brukvalub]

А что это такое:

dxd в сообщении #1019797 писал(а):

трансдьюсер в нормальной форме

?