Anil Nerode
From Wikipedia, the free encyclopedia
 |
This article or section needs sources or references that appear in reliable, third-party publications. Primary sources and sources affiliated with the subject of the article are generally not sufficient for a Wikipedia article. Please include more appropriate citations from reliable sources, or discuss the issue on the talk page. This article has been tagged since January 2008. |
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.
[edit] External links
 |
This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it. |
This article about a mathematician from the United States is a stub. You can help Wikipedia by expanding it.
