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