Здравствуйте, Кодт, Вы писали:

К>Получится пинг-понг между состояниями <...,p=1,p'=0,...> и <...,p=0,p'=1,...>

Не получится. Надо условный цикл. А пин понг приводит к длинным трекам, и ограничениям по максимальному допустимому значению в цикле.
надо именно

[a-b-c][b]

Т.е u=pa/pb/pc если число x делится этим u нацело то умножаем на u и на z=pb

while (x*pa/pb/pc is integer) do x*= (pa/pb/pc) * pb

т.е. переливаем с в a при условии b

без этого будут бесконечные ленты для условий, что не очень здорово.