Эдвард Ф. Мур

Для других людей по имени Эдвард Мур см. Эдвард Мур (устранение неоднозначности) .

Эдвард Форрест Мур
Рожденный	( 1925-11-23 ) 23 ноября 1925 г.
Умер	14 июня 2003 г. (2003-06-14) (в возрасте 77 лет)
Известен для	Мур Машина
Академическое образование
Альма -матер	Вирджиния Тех Браунский университет

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

Биография

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

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

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

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

С Джоном Майхиллом Мур доказал, что теорема сада Эдема характеризует правила сотового автомата , которые имеют узоры без предшественника. Он также является тезкой района Мура для Cellular Automata, используемой Game of Life в Conway , и первым опубликовал проблему синхронизации отряда обстрела в сотовых автоматах.

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

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

Публикации

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

В Bell Labs он написал «двоичные кодировки переменной длины», «самый короткий путь через лабиринт», «упрощенная универсальная машина Turing » и «полные сети декодирования реле».

• «Машетные модели самопроизводства», Труды Симпозий в прикладной математике , том 14, страницы 17–33. Американское математическое общество, 1962.
• «Искусственные живые растения», Scientific American, (октябрь 1956 г.): 118-126 JSTOR   24941788
• «Геданкен-эксперименты на последовательных машинах», стр. 129-153, Исследования автоматов, летопись математических исследований , нет. 34, издательство Принстонского университета, Принстон, Нью -Джерси, 1956

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

• Мур график
• Поиск по ширине
• Самореплицирующаяся машина
• Кратчайший путь быстрее алгоритм

Ссылки

• Мемориальное решение факультета Университета Висконсин -Мадисона о смерти профессора Эдварда Ф. Мур (файл PDF)
• Хоффман, Алан Дж .; Singleton, Robert R. (1960), «На графиках Moore диаметром 2 и 3», IBM Journal of Research and Development , 5 (4): 497–504, doi : 10.1147/rd.45.0497 , MR   0140437 .