DEFINICION DE AUTOMATAS FINITOS NO DETERMINISTA-AFN

 un AFN acepta una cadena w si es posible elegir cualquier secuencia de opciones del estado siguiente, a medida que se leen los caracteres de w, y se pasa del estado inicial a cualquier estado de aceptación.


Definición Personal:

una AFN acepta una cadena de caracteres y puede tener varias rutas y el estado final puede quedar en  cualquier estado


 Formalmente, si A =(Q,Σ,δ,q0,F) es un AFN, entonces, L(A)={w| δ(q0,w) ∩F= /0}




Comentarios

Publicar un comentario

Entradas más populares de este blog

4.1 Funciones del Analizador Léxico, 4.2 Componentes léxicos, patrones y lexemas

Imagen
  4.1 Funciones del Analizador  Léxico El analizador léxico es la primera fase de un compilador. Su principal función consiste en leer los caracteres de entrada y elaborar como salida una secuencia de componentes léxicos que utiliza el analizador sintáctico para hacer el análisis. Recibida la orden "obtén el siguiente componente léxico" del analizador sintáctico, el analizador léxico lee los caracteres de entrada hasta que pueda identificar el siguiente componente léxico. También puede realizar ciertas funciones secundarias en la interfaz del usuario, como eliminar del programa fuente comentarios y espacios en blanco en forma de caracteres de espacio en blanco, caracteres TAB y de línea nueva. Por ejemplo, el analizador léxico puede tener localizado el número de caracteres de nueva línea detectados, de modo que se pueda asociar un número de línea con un mensaje de error. En algunos casos, el analizador léxico puede leer la información relacionada con el tipo de información de...
Leer más

5.5 Diagramas de sintaxis 5.6 Eliminación de la ambigüedad. 5.7 Tipos de analizadores sintácticos 5.8 Generación de matriz predictiva (cálculo first y follow)

Imagen
  5.5 Diagramas de sintaxis Los diagramas de sintaxis, también conocidos como diagramas de ferrocarril, son representaciones gráficas de las reglas de una gramática libre de contexto. Ofrecen una alternativa visual a las notaciones textuales como la Forma de Backus-Naur (BNF) o su versión extendida (EBNF). Estos diagramas facilitan la comprensión de la estructura sintáctica de un lenguaje al ilustrar cómo se pueden construir las cadenas válidas mediante rutas en el diagrama. Cada símbolo no terminal se representa por su nombre encerrado en un rectángulo, y los símbolos terminales se muestran en círculos o cajas con bordes redondeados. Las producciones con varias alternativas o repeticiones se representan mediante bifurcaciones o bucles en el diagrama. https://youtu.be/QgrHpbLxkK4?si=CQVQomvWiZNg05sJ 5.6 Eliminación de la ambigüedad Una gramática es ambigua si existe al menos una cadena que puede derivarse de más de una manera, es decir, tiene múltiples árboles de derivación o deriv...
Leer más