Anil Nerode
From Wikipedia, the free encyclopedia
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 presently 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 link
 |
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 is a stub. You can help Wikipedia by expanding it. |
