stringtranslate.com

Эдвард Ф. Мур

Эдвард Форрест Мур (23 ноября 1925 года , Балтимор, штат Мэриленд — 14 июня 2003 года, Мэдисон, штат Висконсин ) — американский профессор математики и компьютерных наук , изобретатель конечного автомата Мура и один из первых основоположников искусственной жизни .

Биография

Мур получил степень бакалавра наук по химии в Политехническом институте Вирджинии в Блэксбурге, штат Вирджиния, в 1947 году и степень доктора философии по математике в Университете Брауна в Провиденсе, штат Род-Айленд, в июне 1950 года. Он работал в Университете Иллинойса в Урбане-Шампейне с 1950 по 1952 год и был приглашенным профессором в Массачусетском технологическом институте и приглашенным лектором в Гарвардском университете одновременно в 1961-1962 годах. Он работал в Bell Labs с 1952 по 1966 год. После этого он был профессором в Университете Висконсин-Мэдисон с 1966 года до выхода на пенсию в 1985 году.

Он женился на Элинор Констанс Мартин, и у них было трое детей.

Научная работа

Он был первым, кто использовал тип конечного автомата (FSM), который обычно используется сегодня, Мур FSM. С Клодом Шенноном он проделал основополагающую работу по теории вычислимости и построил надежные схемы с использованием менее надежных реле. Он также провел большую часть своих последних лет в бесплодных попытках решить теорему о четырех красках .

Совместно с Джоном Майхиллом Мур доказал теорему Эдемского сада , характеризующую правила клеточного автомата , которые имеют шаблоны без предшественника. Он также является тезкой окрестностей Мура для клеточных автоматов, используемых в игре Конвея «Жизнь» , и был первым, кто опубликовал работу по проблеме синхронизации расстрельной команды в клеточных автоматах.

В статье 1956 года в Scientific American он предложил «Искусственные живые растения», которые были бы плавающими фабриками, способными создавать копии самих себя. Их можно было бы запрограммировать на выполнение какой-либо функции (извлечение пресной воды, сбор минералов из морской воды) за относительно небольшие инвестиции по сравнению с огромной отдачей от экспоненциально растущего числа фабрик.

Мур также спросил, какие регулярные графы могут иметь диаметр, соответствующий простой нижней границе для задачи, заданной регулярным деревом с той же степенью. Графы, соответствующие этой границе, были названы графами Мура Хоффманом и Синглтоном (1960).

Публикации

Совместно с Клодом Шенноном до и во время работы в Bell Labs он написал «Мысленные эксперименты на последовательных машинах», « Вычислимость с помощью вероятностных машин », «Машинные средства для проектирования коммутационных схем» и «Надежные схемы с использованием менее надежных реле».

В Bell Labs он написал книги «Двоичные коды переменной длины», «Кратчайший путь через лабиринт», «Упрощенная универсальная машина Тьюринга » и «Полные релейные декодирующие сети».

Смотрите также

Ссылки