Apuntes Semana 13 Clase 2

Los autómatas finitos procesan palabras de lenguajes...

• moderados

• metódicos

• regulares

• constantes

Los autómatas finitos deterministas son deterministas porque...

• δ define para cada posible combinación (x,q) un estado

  nuevo

• determinan determinaciones determinadas

• para cada símbolo de entrada, existe un único estado al que el

  AFD puede llegar partiendo del actual

• δ puede no estar definida para alguna combinación (x,q)

  y, puede definir para otras combinaciones (x,q)

  más de un estado

En la quíntupla AFD= (X, Q, δ, q0, F), ¿qué significa δ?

• Función de estados de transición

• Conjunto de estados

• Conjunto de estados finales

• Alfabeto de entrada

En un AFD, ¿qué implica que F={q4}?

• q4 es un estado trampa

• q4 es el estado inicial

• q4 es un estado de aceptación

• q4 es un estado evitable

¿Cuál es el nombre de esta representación de los AFD?

• Función de transición extendida

• Diagrama de transición de estados

• Ecuación característica

• Tabla de transición de estados

¿Qué significa la flecha izquierda no etiquetada?

• El estado S1 es incorrecto

• El estado S1 es parte del alfabeto de entrada

• El estado S1 es par

• El estado S1 es el estado inicial