Edward F. Moore

Fue el primero en utilizar el tipo de máquina de estados finitos (FSM: del inglés Finite State Machine) que es muy comúnmente utilizado hoy en día: la máquina de Moore. Con Claude Elwood Shannon hizo un trabajo seminal sobre la teoría de la computabilidad y construyó circuitos confiables utilizando relés menos confiables. Moore también pasó gran parte de sus últimos años en un esfuerzo infructuoso para resolver el teorema de los cuatro colores.

Con John Myhill , Moore probó el teorema del Jardín del Edén caracterizando las reglas de los patrones de los autómatas celulares que no tienen precedente. También dio nombre al concepto de Vecindad de Moore para los autómatas celulares, utilizado por el Juego de la vida de Conway, y fue el primero en publicar el problema de la sincronización del equipo de tiro en los autómatas celulares.

En un artículo de 1956 en la revista Scientific American, propuso "plantas artificiales vivas", que serían fábricas flotantes que podrían crear copias de sí mismas. Podrían ser programadas para realizar alguna función (la extracción de agua potable, la recolección de minerales del agua de mar), con una inversión que sería relativamente pequeña en comparación con los enormes beneficios de las cifras de crecimiento exponencial de las fábricas.

Moore también postuló que los grafos regulares pueden tener su distancia coincidiendo con una menor conexión simple para el problema dado por un árbol regular con el mismo grado. Los grafos que coinciden con este límite fueron denominados grafo de Moore por Hoffman y Singleton (1960).

Fue autor o coautor con Claude Shannon de:

• "Artificial Living Plants," Scientific American 195 (4 ) (Oct 1956): 118-126
• "A simplifed universal Turing machine". En Proc. of the meeting of the ACM, Toronto Sept. 8 1952, pp. 50~54, 1952
• "Computability by Probabilistic Machines". Automata Studies Annals of Mathematics Studies, No.34, Princeton U. Press, Princeton, N.J., 1956
• "Gedanken-experiments on Sequential Machines," pp 129 - 153, Automata Studies, Annals of Mathematical Studies, no. 34, Princeton University Press, Princeton, N. J., 1956 , 129-153
• "Machine aid for switching circuit design", Proc. IRE, Vol. 41, October 1953, 1348-1351
• "Machine models of self-reproduction," Proceedings of Symposia in Applied Mathematics, volume 14, pages 17-33. The American Mathematical Society, 1962
• "Minimal Complete Relay Decoding Networks," IBM Journal of Research and Development 4 ( 5) 1960, : 525-531
• "Reliable circuits using less reliable relays I-II", J. Franklin Inst., Vol. 262, No. 3-4, September-October 1956, 191-208, 281-298, IRE Trans. Electronic Computers, Vol. EC-6, June 1957, 137, (Review), Bell Lab. Monograph No. 2696
• "Table of four-relay contact networks". Logical Design of Electrical Circuits (R. Higonnet and R. Grea, eds.), McGraw-Hill, 1958
• "The Shortest Path Through a Maze".Proceedings of the International Symposium on the Theory of Switching, pages 285–292. 1957
• "Variable length binary encodings".Bell System Tech. J., 38:933{967, 1959

Fue coautor de la patente US Patent 3,016,527: "Apparatus for utilizing variable length alphabetized codes" en 1962.

• Memorial Resolution of the Faculty of the University of Wisconsin–Madison on the Death of Professor Edward F. Moore (PDF file)
• Hoffman, Alan J.; Singleton, Robert R. (1960), «Moore graphs with diameter 2 and 3», IBM Journal of Research and Development 5 (4): 497-504, MR 0140437 ..