теория автоматов
теория автоматов научная дисциплина, занимающаяся изучением абстрактных вычислительных устройств, или "машин". Зародилась в 1930-е годы с работ А. Тьюринга. На базе теории автоматов начала развиваться теория сложности вычислений (complexity theory) Смотри также: abstract computer, finite state machine, probabilistic automata, Turing machine