Edward Forrest Moore (23 de noviembre de 1925 en Baltimore, Maryland - 14 de junio de 2003 en Madison, Wisconsin ) fue un profesor estadounidense de matemáticas e informática , inventor de la máquina de estados finitos de Moore y uno de los primeros pioneros de la vida artificial .
Moore recibió una licenciatura en química del Instituto Politécnico de Virginia en Blacksburg, Virginia en 1947 y un doctorado. en Matemáticas de la Universidad de Brown en Providence, Rhode Island, en junio de 1950. Trabajó en la Universidad de Illinois en Urbana-Champaign de 1950 a 1952 y fue profesor invitado en el MIT y profesor invitado en la Universidad de Harvard simultáneamente en 1961-1962. Trabajó en Bell Labs de 1952 a 1966. Después de eso, fue profesor en la Universidad de Wisconsin-Madison desde 1966 hasta su jubilación en 1985.
Se casó con Elinor Constance Martin y tuvieron tres hijos.
Fue el primero en utilizar el tipo de máquina de estados finitos (FSM) que se usa comúnmente hoy en día, la Moore FSM. Con Claude Shannon, realizó un trabajo fundamental sobre la teoría de la computabilidad y construyó circuitos confiables utilizando relés menos confiables. También dedicó gran parte de sus últimos años a un esfuerzo infructuoso por resolver el teorema de los cuatro colores .
Con John Myhill , Moore demostró el teorema del Jardín del Edén que caracteriza las reglas de los autómatas celulares que tienen patrones sin predecesor. También es el homónimo del barrio de Moore para los autómatas celulares, utilizado por el Juego de la vida de Conway , y fue el primero en publicar sobre el problema de sincronización del pelotón de fusilamiento en los autómatas celulares.
En un artículo de 1956 en Scientific American , propuso "Plantas Vivas Artificiales", que serían fábricas flotantes que podrían crear copias de sí mismas. Podrían programarse para realizar alguna función (extracción de agua dulce, recolección de minerales del agua de mar) por una inversión que sería relativamente pequeña en comparación con los enormes retornos del número exponencialmente creciente de fábricas.
Moore también preguntó qué gráficos regulares pueden tener un diámetro que coincida con un límite inferior simple para el problema dado por un árbol regular con el mismo grado. Las gráficas que coinciden con este límite fueron denominadas gráficas de Moore por Hoffman y Singleton (1960).
Con Claude Shannon , antes y durante su estancia en Bell Labs, fue coautor de "Experimentos Gedanken en máquinas secuenciales", " Computabilidad mediante máquinas probabilísticas ", "Ayuda de máquinas para el diseño de circuitos de conmutación" y "Circuitos confiables que utilizan relés menos confiables".
En Bell Labs fue autor de "Codificaciones binarias de longitud variable", "El camino más corto a través de un laberinto", "Una máquina de Turing universal simplificada " y "Redes completas de decodificación de retransmisión".