Замечания о типе правила

Для всех операций решения или перехода необходимо ввести в строку правила соответствующий тип правила. Здесь допустима только одна операция.

Здесь можно вводить только операцию решения (тип D ), но в одной строке их может быть несколько.

Если строка содержит только нормальные операции (без решений и переходов), и при этом указан тип правила, во время проверки обнаружится ошибка.