Эдвард Ф. Мур

редактировать

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

Содержание
  • 1 Биография
  • 2 Научная работа
  • 3 Публикации
  • 4 См. Также
  • 5 Ссылки
Биография

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

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

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

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

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

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

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

Publications

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

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

  • «Машинные модели самовоспроизведения», Труды симпозиумов по прикладной математике, том 14, страницы 17–33. Американское математическое общество, 1962.
  • «Искусственные живые растения», Scientific American, (октябрь 1956): 118-126
  • «Геданкен-эксперименты на последовательных машинах», стр. 129 - 153, Исследования автоматов, Анналы математических исследований, вып. 34, Princeton University Press, Princeton, NJ, 1956
См. Также
Ссылки
Последняя правка сделана 2021-05-18 08:02:08
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте