Anil Nerode

Anil Nerode

Anil Nerode is a U.S. mathematician. He received his Ph.D. in mathematics from the University of Chicago under Saunders Mac Lane and is, at present, Goldwin Smith Professor of Mathematics at Cornell University.

His interests are in mathematical logic, the theory of automata, computability and complexity theory, the calculus of variations, and distributed systems.

With John Myhill, Nerode proved the Myhill-Nerode theorem specifying necessary and sufficient conditions for a formal language to be regular.

External links

* [http://www.math.cornell.edu/~anil/ Anil Nerode's Home Page]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Myhill–Nerode theorem — In the theory of formal languages, the Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. The theorem is named for John Myhill and Anil Nerode, who proved it at the University of Chicago in 1958… …   Wikipedia

  • Satz von Myhill-Nerode — Der Satz von Myhill Nerode gibt im Fachgebiet Formale Sprachen der Theoretischen Informatik ein notwendiges und hinreichendes Kriterium dafür an, dass eine Formale Sprache regulär ist. Er wurde im Jahr 1957/1958 von John Myhill und Anil Nerode… …   Deutsch Wikipedia

  • Langage rationnel — Les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes: ce sont les langages décrits par les expressions régulières ou rationnelles,d où le nom de langages réguliers; …   Wikipédia en Français

  • List of Indian Americans — This is a list of Indian Americans who are famous, have made significant contributions to the American culture or society politically, artistically or scientifically, or have appeared in the news numerous times:ListAcademic* Shreeram Shankar… …   Wikipedia

  • Saunders Mac Lane — Nacimiento 4 de agosto de 1909 Taftville, Connecticut …   Wikipedia Español

  • Теорема Майхилла — В теории формальных языков теорема Майхилла  Нероуда определяет необходимое и достаточное условия регулярности языка. Данная теорема также позволяет доказать, что данный язык не регулярен. Теорема названа в честь Джона… …   Википедия

  • Saunders Mac Lane — (4 August 1909, Taftville, Connecticut – 14 April 2005, San Francisco) was an American mathematician who cofounded category theory with Samuel Eilenberg.CareerMac Lane was christened Leslie Saunders MacLane , but Leslie fell into disuse because… …   Wikipedia

  • List of Cornell University people — Cornellians are persons affiliated with Cornell University, commonly including alumni, current and former faculty members, students, and others. Here follows a list of notable Cornellians.40 Nobel laureates have been affiliated with Cornell as… …   Wikipedia

  • List of University of Chicago people — The following is a list of people affiliated with the University of Chicago, including alumni, current and former faculty members, students, and others. The University of Chicago was founded in 1890 by American industrialist and philanthropist… …   Wikipedia

  • Evenness of zero — The number 0 is even. There are several ways to determine whether an integer is even or odd, all of which indicate that 0 is an even number: it is a multiple of 2, it is evenly divisible by 2, it is surrounded on both sides by odd integers, and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”