Уравнение Лагранжа и теорема Лагранжа

Формальные грамматики с однозначным выводом

Определение:

Слово [math]w = \beta_1 \ldots \beta_m[/math] языка [math]L[/math] называется неразложимым в этом языке, если никакое его непустое подслово [math] \beta_i \beta_{i+1} \ldots \beta_{i+l},\, 1 \leqslant i,\, i + l \leqslant m,\, l \geqslant 0,[/math] отличное от самого слова [math]w,[/math] не принадлежит языку [math]L[/math].