Машина Тьюринг теоретическая модель вычисления, предложенная Аланом Тьюрингом в 1936. Она состоит из нескольких компонентов которые позволяют ей выполнить вычисления. Основные части машины Тьюринг являются следующими:
Лента: Лента бесконечная последовательность клеток, каждое способное на держать символ от конечного алфавита. Она удлиняет бесконечно в оба направления. Лента служит как основная память для данных во время вычисления.
Голова: Прочитанная голова/пишет механизм который просматривает символы на ленте. Она может прочитать символ на настоящем положении, написать новый символ, и двигает влево или вправо вдоль ленты.
Конечный государственный контроль: Этот компонент действует как мозг машины Тьюринг. Он определяет поведение машины основанное на настоящем положении дел и символе будучи просматриванным головой. Конечный государственный контроль ответственен за переводить между государствами и уточнение ленты.
Регистр государства: Регистр государства проводит настоящее положение дел машины Тьюринг. Поведение машины зависит как от будучи просматриванным настоящего положения дел, так и от символа.
Алфавит: Алфавит конечный набор символов которые машина Тьюринг может прочитать и написать на ленте. Он типично включает и символы входного сигнала и особенные символы используемые в целях контроля.