Stephen Cole Kleene

Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen Sprachen und der Automatentheorie (siehe zum Beispiel Kleenesche Hülle, Lambda-Kalkül, Fixpunktsatz von Kleene, Kleenesche Normalform, regulärer Ausdruck).

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.