Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Американский математик и учёный в области компьютерных наук Эдвард Форрест Мур (23 ноября 1925 года, Балтимор, штат Мэриленд – 14 июня 2003 года, Мэдисон, штат Висконсин) – американский профессор математики и информатики, изобретатель конечного автомата Мура и один из пионеров искусственной жизни.
American mathematician and computer scientist
Edward Forrest Moore (November 23, 1925 in Baltimore, Maryland – June 14, 2003 in Madison, Wisconsin) was an American professor of mathematics and computer science, the inventor of the Moore finite state machine, and an early pioneer of artificial life.
Биография
Мур получил степень бакалавра наук в области химии в Вирджинском политехническом институте в Блэксбурге, штат Вирджиния, в 1947 году и степень доктора философии в области математики в Университете Брауна в Провиденсе, штат Род-Айленд, в июне 1950 года. Он работал в Университете Иллинойса в Урбана-Шампейн с 1950 по 1952 год, а в 1961–1962 годах одновременно был приглашенным профессором в Массачусетском технологическом институте и приглашенным лектором в Гарвардском университете. С 1952 по 1966 год он работал в Лабораториях Белла. После этого он был профессором в Университете Висконсина–Мэдисон с 1966 года до выхода на пенсию в 1985 году. Он женился на Элинор Констанс Мартин, и у них было трое детей.
Moore received a B. S. in chemistry from the Virginia Polytechnic Institute in Blacksburg, Virginia in 1947 and a Ph. D. in Mathematics from Brown University in Providence, Rhode Island in June 1950. He worked at the University of Illinois at Urbana–Champaign from 1950 to 1952 and was a visiting professor at MIT and visiting lecturer at Harvard University simultaneously in 1961 1962. He worked at Bell Labs from 1952 to 1966. After that, he was a professor at the University of Wisconsin–Madison from 1966 until he retired in 1985. He married Elinor Constance Martin and they had three children.
Научная работа
Он был первым, кто использовал тип конечного автомата (FSM), который широко применяется и сегодня – автомат Мура (Moore FSM). Вместе с Клодом Шенноном он выполнил основополагающую работу в области теории вычислимости и создал надежные схемы, используя менее надежные реле. Значительную часть последних лет он посвятил безуспешным попыткам доказать теорему о четырех красках. Совместно с Джоном Майхиллом Мур доказал теорему об Эдемском саде, характеризующую правила клеточных автоматов, имеющие паттерны без предшественников. Он также дал имя окрестности Мура для клеточных автоматов, используемой в игре «Жизнь» Конвея, и впервые опубликовал решение проблемы синхронизации «расстрельного отряда» в клеточных автоматах. В статье 1956 года в журнале Scientific American он предложил концепцию «искусственных живых растений» – плавучих фабрик, способных создавать свои копии. Эти фабрики можно было бы запрограммировать на выполнение определенной функции (например, добычу пресной воды или извлечение минералов из морской воды) при инвестициях, относительно небольших по сравнению с огромной прибылью от экспоненциально растущего числа фабрик. Мур также исследовал, какие регулярные графы могут иметь диаметр, соответствующий простому нижнему ограничению для задачи, заданному регулярным деревом той же степени. Графы, удовлетворяющие этому условию, были названы графами Мура.
He was the first to use the type of finite state machine (FSM) that is commonly used today, the Moore FSM. With Claude Shannon he did seminal work on computability theory and built reliable circuits using less reliable relays. He also spent a great deal of his later years on a fruitless effort to solve the Four Color Theorem. With John Myhill, Moore proved the Garden of Eden theorem characterizing the cellular automaton rules that have patterns with no predecessor. He is also the namesake of the Moore neighborhood for cellular automata, used by Conway's Game of Life, and was the first to publish on the firing squad synchronization problem in cellular automata. In a 1956 article in Scientific American, he proposed "Artificial Living Plants," which would be floating factories that could create copies of themselves. They could be programmed to perform some function (extracting fresh water, harvesting minerals from seawater) for an investment that would be relatively small compared to the huge returns from the exponentially growing numbers of factories. Moore also asked which regular graphs can have their diameter matching a simple lower bound for the problem given by a regular tree with the same degree. The graphs matching this bound were named Moore graphs by .