Anil Nerode
From Wikipedia, the free encyclopedia
 |
This article needs references that appear in reliable third-party publications. Primary sources or sources affiliated with the subject are generally not sufficient for a Wikipedia article. Please add more appropriate citations from reliable sources. (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.
