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

К>Получится пинг-понг между состояниями <...,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/pb is integer) do x*= (pa/pb/pb) * pb

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

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

К>Получится пинг-понг между состояниями <...,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

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