Внешние символы (external symbol)
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
оделируемое или действительное эксплуатационное тестирование потенциальными пользователями/заказчиками или независимой командой тестирования на стороне разработчиков, но вне разрабатывающей организации.
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.