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 y ciencias de la computación , inventor de la máquina de estados finitos de Moore y un pionero de la vida artificial .
Moore se licenció en química en el Instituto Politécnico de Virginia en Blacksburg (Virginia) en 1947 y se doctoró en matemáticas en la Universidad 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 visitante en el MIT y profesor visitante en la Universidad de Harvard simultáneamente en 1961-1962. Trabajó en los Laboratorios Bell de 1952 a 1966. Después de eso, fue profesor en la Universidad de Wisconsin-Madison desde 1966 hasta que se jubiló 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 (MSF) que se utiliza comúnmente en la actualidad, la MFS de Moore. Con Claude Shannon realizó un trabajo seminal 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 .
Junto 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 precedentes. También es el homónimo del vecindario de Moore para 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 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 (extraer agua dulce, recolectar minerales del agua de mar) por una inversión que sería relativamente pequeña en comparación con los enormes beneficios que se obtendrían del número exponencialmente creciente de fábricas.
Moore también se preguntó qué grafos 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. Los grafos que coinciden con este límite fueron denominados grafos de Moore por Hoffman y Singleton (1960).
Junto con Claude Shannon , antes y durante su estancia en Bell Labs, fue coautor de "Experimentos teóricos en máquinas secuenciales", " Computabilidad mediante máquinas probabilísticas ", "Ayuda de máquina para el diseño de circuitos de conmutación" y "Circuitos fiables utilizando relés menos fiables".
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 relés".