Edward F.Moore

Edward Forrest Moore (23 novembre 1925 à Baltimore, Maryland – 14 juin 2003 à Madison (Wisconsin)) est professeur de mathématiques et d’informatique à l’université du Wisconsin-Madison. Il est l’inventeur de la machine de Moore, de l'algorithme de minimisation des automates finis qui porte son nom, et un des pionniers de la théorie des codes et de la vie artificielle.

Biographie

Moore obtient une licence (bachelor of science B.S.) en chimie à l'institut polytechnique et Université d'État de Virginie de Blacksburg (Virginie) en 1947 et un doctorat (Ph. D.) en mathématiques à l'université Brown de Providence (Rhode Island) en 1950. Il travaille à l'université de l'Illinois à Urbana-Champaign de 1950 à 1952 et est enseignant invité (visiting lecturer) au MIT et à l'université Harvard en même temps en 1952 et 1953. Ensuite, et pour cinq ans, il travaille aux Laboratoires Bell, une période scientifiquement très productive. Ensuite, il est professeur à l'université du Wisconsin-Madison de 1966 jusqu'à sa retraite en 1985.

Travaux scientifiques

Il est l'un des premiers à étudier les automates finis, dans une version qu'on appelle maintenant machines de Moore. Avec Claude Shannon, il travaille sur la théorie de la calculabilité et sur le problème de construire des circuits fiables à partir de relais peu fiables. Ultérieurement, il essaie sans succès de démontrer le théorème des quatre couleurs. Avec John R. Myhill, Moore démontre le théorème de la configuration de jardin d'Éden en caractérisant les règles d'un automate cellulaire qui possède des configurations sans prédécesseur. C'est d'après lui que l'on nomme le voisinage de Moore dans les automates cellulaires, qui interviennent dans le jeu de la vie, et il est l'un des premiers à contribuer au problème de la ligne de fusiliers (Firing squad synchronization problem (en) en anglais). Dans un article paru en 1956 dans le Scientific American, il propose des « fermes de vie artificielle » qui seraient des usines flottantes qui pourraient créer des copies d'elles-mêmes. « Elles pourraient être programmées pour effectuer certaines tâches, comme l'extraction d'eau douce, récupération de minéraux depuis l'eau de mer, pour un investissement qui serait relativement faible comparé au retour énorme provenant d'une croissance à terme exponentielle du nombre d'usines. » Moore a aussi posé le problème de la détermination des graphes réguliers dont le diamètre vérifie une borne inférieure simple intervenant dans un problème donné par un arbre régulier de même degré. Ces graphes sont appelés les graphes de Moore par (Hoffman et Singleton 1960).