Capítulo 12 Expresiones regulares y autómatas de estado-finito
779
12.1 Lenguajes formales y expresiones regulares
780
Definiciones y ejemplos de lenguajes formales y expresiones regulares; El lenguaje definido por una expresión regular; Usos prácticos de expresiones regulares
12.2 Autómata de estado-finito
791
Definición de un autómata de estados finitos; El lenguaje aceptado por autómata; La función de estado eventual; Diseño de un autómata de estado finito; Simulación de un autómata de estado finito usando software; Autómata de estado finito y expresiones regulares; Lenguajes regulares
12.3 Simplificando autómatas de estado-finito
808
*-Equivalencia de los estados; Equivalencia k de estados; Determinación de las *-equivalencias de las clases; El autómata cociente; Construcción del autómata cociente; Autómata equivalente
Apéndice A Propiedades de los números reales
A-l
Apéndice B Soluciones y sugerencias para los ejercicios seleccionados Índice I-1
A-4