Команды языка Prover

STCR - запись данных в счётчик C
STHR - запись данных в счётчик H
STJR - запись данных в счётчик J
STQR - запись данных в счётчик Q
STGX - занесение начального значения X
STGY - занесение начального значения Y
STNX - занесение конечного значения X
STNY - занесение конечного значения Y
SLHR - арифметический сдвиг счётчика H на 1 разряд влево

2. Микрооперации данных:

S>T - запись начальных данных в T : S - целое в отрезке (0;255) или символ алфавита
(в T заносится ASCII-код этого символа)
NOTT>T - инверсия Т
T+C>T - добавление C к T : С - целое в отрезке (-15;15)
T*2>T - сдвиг T влево на один разряд

3. Микрооперации адреса:

GX>X - запись начального адреса GX в X
X+C>X - добавление C к X : С - целое в отрезке (-15;15)
NX>X - запись конечного адреса NX в X
GY>Y - запись начального адреса GY в Y
Y+C>Y - добавление C к Y : С - целое в отрезке (-15;15)
Y+C>Y* - добавление C к Y : С - целое в отрезке (-15;15), если есть перенос из координаты X
NY>Y - запись конечного адреса NY в Y

4. Микрокоманды переходов:

JXNN - переход по X=NX
JYNN - переход по Y=NY
JXYN - переход по X=NX или Y=NY
JXNG - переход по X=GX
JYNG - переход по Y=NY
JXYG - переход по X=GX или Y=GY
JUMP - безусловный переход
JJNZ - переход по J=0, J-1>J
JQNZ - переход по Q=O, Q-1>Q
JKNZ - переход по K=0, (K-регистр ошибок)
JCNZ - переход по C=0, если C=0, то C-1>C, если C=0, то счётчик С переключается в исходное состояние, которое было установленo микрокомандой STCR
JHNZ - переход по H=0, микрокоманда выполняется аналогично команде JCHZ IDXT Цикл с параметром
NOOP - нет операции, R+1->R

5. Микрокоманды останова:

STOP - микрокоманда останова
ENDP - останов с индикацией "ГОДЕН"
ENDE - останов с индикацией "БРАК"