Изменения
Нет описания правки
<tex>A \Rightarrow x_iAz_i</tex>
<tex>A \Rightarrow e\varepsilon</tex>
<tex>B \Rightarrow y_iBz_i</tex>
<tex>B \Rightarrow e\varepsilon</tex>
Предположим, ССП имеет решение <tex>(i_1,\,i_2,\,...,\,i_k)</tex>. Следовательно, <tex>x_{i1}x_{i2}...x_{ik}=y_{i1}y_{i2}...y_{ik}</tex>, значит, <tex>x_{i1}x_{i2}...x_{ik}z_{ik}z_{ik-1}...z_{i1}=y_{i1}y_{i2}...y_{ik}z_{ik}z_{ik-1}...z_{i1}=w</tex>. Значит, это слово <tex>w</tex> можно вывести двумя способами. То есть такая грамматика будет неоднозначной.
== Литература ==
<font face="Times" size="3">
* А. Маслов, Д. Стоцкий — Языки и автоматы.
</font>
