Мат. логика

[gepa1]

есть MHP (машина c неограниченными регистрами)
и команды
1) зануление Z(n)
2)прибавление единицы S(n)
3)переадресация T(m,n)
4)условный переход I(m,n,q)

также вводится нумерация команд

1-я команда Z(1)
2-я команда S(1)
3-я команда T1
4-я команда I1
5-я команда Z(2)
... и т.д.

Задание - Надо выяснить что за команда под номером 20

под 20-м номером команда условного перехода I5, но вопрос в том как она выглядит ввиде записи I(m,n,q)

и такой вопрос, где можно поподробней прочитать про MHP