171
правка
Изменения
м
Нет описания правки
Решение МПСП будет иметь следующий вид:
{|class="wikitable" style="text-align: center"
|-
! Шаг
! Вторая строка
|-
|align="center" |1 |align="center" |1
|<tex>\$ \#_{start} ab \$</tex>
|<tex>\$</tex>
|-
|align="center" |2 |align="center" |5
|<tex>\$ \#_{start} ab \$ b \#_{start}</tex>
|<tex>\$ \#_{start} a</tex>
|-
|align="center" |3 |align="center" |3
|<tex>\$ \#_{start} ab \$ b \#_{start} b</tex>
|<tex>\$ \#_{start} ab</tex>
|-
|align="center" |4 |align="center" |4
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$</tex>
|<tex>\$ \#_{start} ab \$</tex>
|-
|align="center" |5 |align="center" |3
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b</tex>
|<tex>\$ \#_{start} ab \$ b</tex>
|-
|align="center" |6 |align="center" |6
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b \#_{yes} b</tex>
|<tex>\$ \#_{start} ab \$ b \#_{start} b</tex>
|-
|align="center" |7 |align="center" |4
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b \#_{yes} b \$</tex>
|<tex>\$ \#_{start} ab \$ b \#_{start} b \$</tex>
|-
|align="center" |8 |align="center" |8
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b \#_{yes} b \$ \#_{yes}</tex>
|<tex>\$ \#_{start} ab \$ b \#_{start} b \$ b \#_{yes}</tex>
|-
|align="center" |9 |align="center" |3
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b \#_{yes} b \$ \#_{yes} b</tex>
|<tex>\$ \#_{start} ab \$ b \#_{start} b \$ b \#_{yes} b</tex>
|-
|align="center" |10 |align="center" |4
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b \#_{yes} b \$ \#_{yes} b \$</tex>
|<tex>\$ \#_{start} ab \$ b \#_{start} b \$ b \#_{yes} b \$</tex>
|-
|align="center" |11 |align="center" |10
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b \#_{yes} b \$ \#_{yes} b \$ \#_{yes}</tex>
|<tex>\$ \#_{start} ab \$ b \#_{start} b \$ b \#_{yes} b \$ \#_{yes} b</tex>
|-
|align="center" |12 |align="center" |4
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b \#_{yes} b \$ \#_{yes} b \$ \#_{yes} \$</tex>
|<tex>\$ \#_{start} ab \$ b \#_{start} b \$ b \#_{yes} b \$ \#_{yes} b \$</tex>
|-
|align="center" |13 |align="center" |11
|<tex>\$ \#_{start} ab \$ b \#_{start} b\$ b \#_{yes} b \$ \#_{yes} b \$ \#_{yes} \$ \$</tex>
|<tex>\$ \#_{start} ab \$ b \#_{start} b \$ b \#_{yes} b \$ \#_{yes} b \$ \#_{yes} \$ \$</tex>
