text: Пусть Σ 1 {\displaystyle \Sigma _{1}} , Σ 2 {\displaystyle \Sigma _{2}} значат два конечных алфавита и пусть Σ 1 ∗ {\displaystyle \Sigma _{1}^{*}} и Σ 2 ∗ {\displaystyle \Sigma _{2}^{*}} означают набор всех конечных слов из этих алфавитов (упорядоченных).