Teorema de Myhill-Nerode
Myhill–Nerode theorem
- Fecha
- 1957 · fiabilidad alta
- Lugar
- Chicago, Illinois, Estados Unidos
- Autoría
- John Myhill y Anil Nerode
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema de la teoría de lenguajes formales que da una condición necesaria y suficiente para que un lenguaje sea regular, demostrado por John Myhill y Anil Nerode en la Universidad de Chicago.
A qué dio paso
- Métodos de minimización de autómatas finitos
- Criterios prácticos para demostrar la no regularidad de un lenguaje
- Fundamento teórico de la teoría de autómatas y compiladores
- Base algorítmica para la construcción de autómatas mínimos