Сегодня идея виртуальных машин приобрела широкую известность благодаря языку:

Одна из первых широко известных виртуальных машин была разработана в 70-х годах Н. Виртом:

Идея создания некоторого обобщенного алгоритма, проверяющего за конечное число шагов принадлежность данной цепочки языку является альтернативой:

В конечных автоматах цепочка считается принадлежащей языку, если хотя бы одна из последовательностей шагов:

Процесс, который определяет, принадлежит ли некоторая последовательность лексем языку, порождаемому грамматикой называется:

Идея анализа потока управления заключается в следующем: