В 1945 году Алан Тьюринг, отказавшись от лекторской работы в Кембриджском университете, перешел по рекомендации М. Ньюмена в Национальную физическую лабораторию (НФЛ), где организовалась группа по проектированию и созданию вычислительной машины АСЕ (Automatic Computing Engine). В течение трех лет (1945–1948), пока существовала эта группа, он сделал первые наброски АСЕ и внес ряд предложений по ее конструированию. Отчет Тьюринга по АСЕ датирован более поздней датой и ссылается на известный черновой отчет фон Неймана по EDVAC. Но Тьюринг пошел значительно дальше, т. к. его работа содержала много конкретных деталей и имела полную концепцию компьютера с хранимой программой. Многие утверждают, что Тьюринг предложил один из первых проектов такого компьютера — концепцию, которую считают фундаментальной в вычислительном мире и которая была предложена им независимо от Маучли, Эккерта и фон Неймана.
Отчет по АСЕ был передан в исполнительный комитет НФЛ 19 марта 1946 года с сопроводительной запиской Уомерсли, в которой сообщалось, что, хотя отчет основан на проекте EDVAC, последний содержит ряд идей, принадлежащих Тьюрингу. Хотя о работе Тьюринга во время войны многое неизвестно, она, безусловно, значительна, хотя бы по тем моментам, которые обозначены в проекте АСЕ. Машина под названием MOSAIC, основанная на первичном варианте этого проекта, была вскоре построена Чандлером и Кумбсом.
В сентябре 1948 года Тьюринг перешел на работу в Манчестерский университет, номинально заняв должность заместителя директора лаборатории вычислительных машин, хотя в действительности он числился в математическом отделе М. Ньюмена и являлся ответственным за программирование.
В Манчестерском университете с конца 1940 года под руководством Ф. Уильямса и Т. Килбурна разрабатывалась вычислительная машина «Марк-1». 21 июля 1948 года на машине была запущена 52-минутная программа, и в настоящее время считается, что «Марк-1» был первым действующим компьютером с хранимой программой.
При работе над усовершенствованием манчестерской машины М. Ньюмен первым пришел к изобретению индексного регистра, а А. Тьюринг написал первое руководство по программированию. Кроме того, Тьюрингом было придумано еще одно новшество. В машине «Марк-1» использовался 5-битный код для представления команды, причем каждая команда содержала 4 таких кода, т. е. 20 бит. С целью облегчения программирования Тьюринг предложил поставить в соответствие каждому 5-битному коду определенный символ из набора 32 знаков (25) — по числу возможных комбинаций. Символы, которые, по Тьюрингу, соответствовали пятизначному двоичному коду, содержали цифры, буквы и знаки препинания, имеющиеся на стандартной клавиатуре телепринтера. Например, символ «/» (косая черта) был обозначен как 00000, буква «R» — 01010 и т. д. В дальнейшем, как известно, символы компьютеров, в том числе и современных персональных, стали занимать 8-битный код (байт). Их число может достигать 256 различных знаков (28).
В конце 40-х годов Тьюринг занялся проблемой «мыслящих» машин, машинного интеллекта, которая к настоящему времени сформировалась в целое направление под названием «Искусственный интеллект». Многие ученые (в частности, Дж. Сирл) считают Алана Тьюринга основоположником искусственного интеллекта. Первая его статья «Intelligent Machinery» в форме отчета Национальной физической лаборатории вышла в 1948 году, а затем в 1950 году в английском журнале «Mind» была опубликована его основополагающая статья «Computing Machinery and Intelligence». В русском переводе она вышла под названием «Может ли машина мыслить?». И сегодня анализ этой проблемы Тьюрингом «остался, пожалуй, самым лучшим из всего, что стоит прочитать каждому желающему понять суть дела».
«Я собираюсь рассмотреть вопрос „Могут ли машины мыслить?“ — этими словами Тьюринг начинает статью, но вскоре он заменяет исходную постановку вопроса совершенно иной, в которой „мышление“ машины рассматривается в технических терминах. В качестве критерия оценки мыслительной деятельности машины Тьюринг предлагает использовать ее действия в процессе „игры в имитацию“ (Imitation game). Эта „игра“ в дальнейшем получила название теста Тьюринга.