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