Внутренняя память машины Тьюринга
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
процесс оценки поведения, например производительности памяти, загрузки ЦПУ системы или компонента во время выполнения. Динамическое сравнение (dynamic comparison)
В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них дефектов различного рода при помощи целенаправленной генерации входных данных. Рассматриваются методы преобразования программ для извлечения трасс выполнения, механизмы отслеживания потоков данных и построения входных данных для покрытия путей выполнения. Показывается, как подобный подход позволяет проводить анализ полностью автоматически без привлечения разработчиков и тестировщиков, на основе исполняемого или интерпретируемого кода. Приводится описание инструментов динамического анализа, разработанных в Институте системного программирования РАН, — инструмента Avalanche, основанного на фреймворке Valgrind, и прототипа инструмента, производящего анализ программ на языке Java. В конце обзора приводятся результаты работы инструмента Avalanche на проектах с открытым кодом и результаты проведения динамического анализа Java-программ с целью поиска ошибок синхронизации.
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
система, образуемая языком программирования, компиляторами или интерпретаторами программ, представленных на данном языке, соответствующей документацией, а также вспомогательными средствами для подготовки программ к форме, пригодной для выполнения.
(байт-код) машинно-независимый код, который генерирует Java-компилятор.