Anil Nerode

Anil Nerode Nøgledata
Fødsel 4. juni 1932
Los Angeles , Californien ( USA )
Nationalitet amerikansk
Områder matematik
Institutioner Cornell University
Eksamensbevis University of Chicago
Tilsynsførende Saunders Mac Lane
Berømt for Myhill-Nerode sætning

Anil Nerode , født den4. juni 1932i Los Angeles , er en amerikansk matematiker . Han er kendt som medforfatter af Myhill-Nerode-sætningen, som giver en karakterisering af formelle sprog, der er rationelle .

Biografi

Han blev uddannet ved University of Chicago og opnåede en doktorgrad ( ph.d. ) i matematik der under tilsyn af Saunders Mac Lane . Han kom ind i Hutchins College ved University of Chicago i 1947, i en alder af 15 år, og opnåede sin ph.d. i 1956. Hans afhandling fokuserede på en abstrakt algebraisk formulering af forestillingen om substitution i typede frie algebraer og dens relation til ligningsdefinitionen af ​​rekursive delfunktioner.

Mellem 1954 og 1957 arbejdede han på professor Walter Bartky's Institute for Air Weapons Research , hvor han udførte klassificeret arbejde for United States Air Force. I 1958 og 1959 var han ved Institute for Advanced Study i Princeton, New Jersey, hvor han arbejdede med Kurt Gödel .

Nerode er Goldwin Smith professor i matematik ved Cornell University . Hans interesseområder er matematisk logik , automatteori , beregnings- og kompleksitetsteori , beregning af variationer og distribuerede systemer . Med John Myhill beviste Nerode Myhill-Nerode sætningen, som giver en nødvendig og tilstrækkelig betingelse for, at et formelt sprog kan være rationelt .

Nerode er medlem af redaktionen for forskellige videnskabelige tidsskrifter, herunder annaler for matematik og kunstig intelligens, matematisk og computermodellering og Documenta Mathematica .

Priser

Den IPEC Nerode Award er opkaldt efter ham.

Noter og referencer

  1. En beskrivelse af Nerodes matematiske arbejde frem til 1992 findes i artiklen "The Work of Anil Nerode: A Retrospective" af JB Remmel og JN Crossley, der vises i Festschrift "Logiske metoder: til ære for Anil Nerodes 60-års fødselsdag" ( JN Crossley, Jeffrey B. Remmel, Richard A. Shore og Moss E. Sweedler, (eds), Birkhäuser, 1993, ( ISBN  0-8176-3690-0 ) ).
  2. Se en af ​​formuleringerne for eksempel i Martin Davis, Elaine J. Weyuker, Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Elsevier Science , 1994, ( ISBN  978-0-12-206382-4 ) ; kapitel 7: Myhill-Nerode sætning. En anden formulering er givet i: (en) John E. Hopcroft , Rajeev Motwani og Jeffrey D. Ullman , Introduction to Automata Theory, Languages, and Computation , Addison-Wesley ,2007, 3 e  ed. ( ISBN  978-0-32146225-1 ).
  3. Annaler om matematik og kunstig intelligens , matematisk og computermodellering , Documenta Mathematica "Arkiveret kopi" (version dateret 23. juli 2018 på internetarkivet ) .
(fr) Denne artikel er helt eller delvist hentet fra Wikipedia-artiklen på engelsk med titlen "  Anil Nerode  " ( se listen over forfattere ) .

Relaterede artikler

eksterne links