Правило перехода — на каждом такте мы идём по набору дробей слева направа, пытаясь найти такую дробь p_j/q_j, при умножении на которую состояние компьютера останется натуральным. Как только находим — объявляем это произведение
A':=A*p_j/q_j
новым состоянием компьютера.
A':=A*p_j/q_j
новым состоянием компьютера.