Аннотация:
Рассматривается операция однозначного произведения языков. Она получается из стандартного произведения языков вводом ограничения на сомножители, заключающегося в однозначности представления всякого слова из образа в виде конкатенации слов из сомножителей. Указывается полная характеристика конечных $\otimes$-разложений свободного моноида с одним образующим. В качестве следствия выводится существование представлений свободного моноида в виде однозначного произведения неперечислимых языков.
Ключевые слова:
формальные языки, однозначное произведение формальных языков, разложение языков, свободный моноид, смешанные системы счисления.
Полный текст:
PDF файл (308 kB)