Эдвард Форрест Мур (23 ноября 1925 года в Балтиморе, штат Мэриленд - 14 июня 2003 года в Мэдисоне, штат Висконсин ) был американским профессором математики и информатики , изобретателем конечного автомата Мура и одним из первых пионеров искусственной жизни .
Биография [ править ]
Мур получил степень бакалавра химии в Политехническом институте Вирджинии в Блэксбурге, штат Вирджиния, в 1947 году и степень доктора философии. Он получил степень бакалавра математики в Университете Брауна в Провиденсе, штат Род-Айленд, в июне 1950 года. Он работал в UIUC с 1950 по 1952 год и одновременно был приглашенным профессором Массачусетского технологического института и приглашенным лектором в Гарвардском университете одновременно в 1961-1962 годах. Он работал в Bell Labs с 1952 по 1966 год. После этого он был профессором Университета Висконсин-Мэдисон с 1966 года до выхода на пенсию в 1985 году.
Он женился на Элинор Констанс Мартин, и у них было трое детей.
Научная работа [ править ]
Он был первым, кто использовал тип конечного автомата (FSM), который наиболее часто используется сегодня, - автомат Мура. Вместе с Клодом Шенноном он проделал основополагающую работу по теории вычислимости и построил надежные схемы с использованием менее надежных реле. Он также потратил большую часть своих последних лет на бесплодные попытки решить теорему о четырех цветах .
Вместе с Джоном Майхиллом Мур доказал теорему Эдемского сада, характеризующую правила клеточного автомата , у которых есть шаблоны, не имеющие предшественников. Он также является тезкой квартала Мура для клеточных автоматов, используемого Конвеем в «Игре жизни» , и был первым, кто опубликовал статью о проблеме синхронизации расстрельной команды в клеточных автоматах.
В статье 1956 года в Scientific American он предложил «Искусственные живые растения», которые представляют собой плавучие фабрики, способные создавать копии самих себя. Их можно запрограммировать на выполнение некоторой функции (добыча пресной воды, сбор полезных ископаемых из морской воды) для инвестиций, которые будут относительно небольшими по сравнению с огромной прибылью от экспоненциально растущего числа фабрик.
Мур также спросил, какие регулярные графы могут иметь диаметр, соответствующий простой нижней оценке задачи, заданной обычным деревом с той же степенью. Графы, соответствующие этой границе , Хоффман и Синглтон (1960) назвали графами Мура .
Публикации [ править ]
Вместе с Клодом Шенноном , до и во время его работы в Bell Labs, он стал соавтором «Геданкен-экспериментов на последовательных машинах», « Вычислимость с помощью вероятностных машин », «Машинное средство для проектирования схем переключения» и «Надежные схемы с использованием менее надежных реле».
В Bell Labs он написал «Двоичные кодировки переменной длины», «Кратчайший путь через лабиринт», «Упрощенную универсальную машину Тьюринга » и «Полные сети ретрансляционного декодирования».
- «Машинные модели самовоспроизведения», Труды симпозиумов по прикладной математике , том 14, страницы 17–33. Американское математическое общество, 1962 г.
- «Искусственные живые растения», Scientific American, (октябрь 1956 г.): 118-126.
- "Геданкен-эксперименты на последовательных машинах", стр. 129 - 153, Исследования автоматов, Анналы математических исследований , вып. 34, Princeton University Press, Принстон, Нью-Джерси, 1956 г.
См. Также [ править ]
- Граф Мура
- Поиск в ширину
- Самовоспроизводящаяся машина
- Самый быстрый алгоритм кратчайшего пути
Ссылки [ править ]
- Мемориальная резолюция факультета Висконсинского университета в Мэдисоне в связи со смертью профессора Эдварда Ф. Мура (файл PDF)
- Хоффман, Алан Дж .; Singleton, Роберт Р. (1960), "О Мур графах с диаметрами 2 и 3", IBM Журнал исследований и разработок , 5 (4): 497-504, DOI : 10,1147 / rd.45.0497 , MR 0140437.
