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