Эдвард Ф. Мур
Эдвард Форрест Мур | |
---|---|
Рожденный | 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 .