13
правок
Изменения
м
3 поправки языка.
==== Инвариант с нулем ====
Проблемой может оказаться появление двух последовательных двоек, при этом перое первое правило может породить
тройку. То есть недопустима следующая ситуация:
Причем количество единиц между двойками может быть любое, в итоге это приведет к появлению тройки.
Однако если между любой парой двоек всегда будет находится находиться хотя бы один<tex>0</tex>, то такой ситуации не возникнет. Покажем, что что этот инвариант
поддерживается после инкремента, рассмотрев возможные ситуации:
: Число двоек не изменяется