317
правок
Изменения
Нет описания правки
<tex>I_j''</tex> ∪= <tex>[A \rightarrow \cdot \beta, j]</tex> # Правило (3)
<tex>I_j</tex> ∪= <tex>I_j''</tex>
== Доказательство эквивалентности ==
В циклах, помеченных <tex>(*)</tex> и <tex>(**)</tex>, просматривается не весь список <tex>I_j</tex>, а только те ситуации, которые были добавлены на предыдущей итерации цикла <code>while</code>. Данная модификация является корректной.
