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