Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto
Se presentan las estrategias de computación perezosa e impaciente y se muestra cómo Haskell usa la perezosa lo que permite trabajar con objetos infinitos. También se muestra cómo puede hacerse evaluaciones estrictas en Haskell.
Este es el 10º tema del curso de introducción a Haskell. El código y los restantes temas se encuentran en http://www.cs.us.es/~jalonso/cursos/i1m-10/temas.html
Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto
Se presentan las estrategias de computación perezosa e impaciente y se muestra cómo Haskell usa la perezosa lo que permite trabajar con objetos infinitos. También se muestra cómo puede hacerse evaluaciones estrictas en Haskell.
Este es el 10º tema del curso de introducción a Haskell. El código y los restantes temas se encuentran en http://www.cs.us.es/~jalonso/cursos/i1m-10/temas.html