Внутренняя память машины Тьюринга
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
расширение XML, предназначенное для описания правил и проверки на соответствие этим правилам специализированных XML документов.
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
оператор завершения любой программной единицы ФОРТРАНа.