абстрактный (гипотетический) компьютер например, машина Тьюринга Смотри также: automata theory, Turing machine