Edward F. Moore

Für andere Personen mit dem Namen Edward Moore, siehe Edward Moore (Disambiguierung).

Edward Forrest Moore (23. November 1925 in Baltimore, Maryland - 14. Juni 2003 in Madison, Wisconsin) war ein amerikanischer Professor für Mathematik und Informatik, der Erfinder der Moore'schen Zustandsmaschine und ein früher Pionier des künstlichen Lebens.

Biografie

Moore erwarb 1947 einen B.S. in Chemie am Virginia Polytechnic Institute in Blacksburg, Virginia, und im Juni 1950 einen Doktortitel in Mathematik an der Brown University in Providence, Rhode Island. Von 1950 bis 1952 arbeitete er an der University of Illinois in Urbana-Champaign und war von 1961 bis 1962 gleichzeitig Gastprofessor am MIT und Gastdozent an der Harvard University. Von 1952 bis 1966 arbeitete er bei Bell Labs. Danach war er von 1966 bis zu seiner Pensionierung im Jahr 1985 Professor an der University of Wisconsin-Madison.

Er heiratete Elinor Constance Martin und sie hatten drei Kinder.

Wissenschaftliche Arbeit

Er war der erste, der den heute gebräuchlichen Typ der endlichen Zustandsmaschine (FSM), die Moore-FSM, verwendete. Zusammen mit Claude Shannon leistete er bahnbrechende Arbeit zur Theorie der Berechenbarkeit und baute zuverlässige Schaltungen mit weniger zuverlässigen Relais. Einen großen Teil seiner späteren Jahre verbrachte er mit dem vergeblichen Versuch, das Vier-Farben-Theorem zu lösen.

Zusammen mit John Myhill bewies Moore das Theorem vom Garten Eden, das die Regeln zellulärer Automaten charakterisiert, die Muster ohne Vorgänger haben. Er ist auch der Namensgeber der Moore-Nachbarschaft für zelluläre Automaten, die von Conways Game of Life verwendet wird, und war der erste, der über das Synchronisationsproblem von Erschießungskommandos in zellulären Automaten veröffentlichte.

In einem Artikel im Scientific American von 1956 schlug er "Künstliche lebende Pflanzen" vor, schwimmende Fabriken, die Kopien von sich selbst herstellen könnten. Sie könnten so programmiert werden, dass sie eine bestimmte Funktion erfüllen (Süßwasser gewinnen, Mineralien aus dem Meerwasser sammeln), und das mit einer Investition, die im Vergleich zu den enormen Erträgen der exponentiell wachsenden Zahl von Fabriken relativ gering wäre.

Moore stellte auch die Frage, bei welchen regulären Graphen der Durchmesser mit einer einfachen unteren Schranke für das Problem übereinstimmen kann, die durch einen regulären Baum mit demselben Grad gegeben ist. Die Graphen, die dieser Schranke entsprechen, wurden von Hoffman & Singleton (1960) Moore-Graphen genannt.

Veröffentlichungen

Zusammen mit Claude Shannon verfasste er vor und während seiner Zeit bei Bell Labs die "Gedanken-Experimente an sequentiellen Maschinen", "Berechenbarkeit durch probabilistische Maschinen", "Maschinenhilfe für den Entwurf von Schaltkreisen" und "Zuverlässige Schaltungen mit weniger zuverlässigen Relais".

In den Bell Labs war er Autor von "Variable Length Binary Encodings", "The Shortest Path Through a Maze", "A simplified universal Turing machine" und "Complete Relay Decoding Networks".

"Machine models of self-reproduction", Proceedings of Symposia in Applied Mathematics, Band 14, Seiten 17-33. The American Mathematical Society, 1962.

"Künstliche lebende Pflanzen", Scientific American, (Oct 1956):118-126 JSTOR 24941788

"Gedanken-Experimente zu sequentiellen Maschinen", S. 129 - 153, Automata Studies, Annals of Mathematical Studies, no. 34, Princeton University Press, Princeton, N. J., 1956