Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Automatas 3
Automatas 3
ELABORADO POR:
1. Las expresiones regulares (ER), pueden tambin escribirse de otras formas o con otra
secuencia de operadores o distribucin de smbolos. En general es una forma matemtica
que representa el Lenguaje que genera un Autmata. Y esas expresiones regulares siempre
sern vlidas siempre y cuando representen exactamente el mismo lenguaje para un
Autmata. Concluyendo, para un Autmata, puede haber ms de una ER que representa el
mismo lenguaje ya sea que esa ER sea minimizada, extensa, equivalente o como se prefiera
escribir. Solo que en los diseos ptimos computacionales siempre se buscar la mejor ER
(corta o mnima) para efectos de la mejor simulacin o para llevarlas a lenguajes de
programacin en la creacin de soluciones computacionales (solucionar problemas Algoritmos). Dados los siguientes tem, Autmatas Finitos Deterministas, Autmatas Finitos
no Deterministas, lenguajes y expresiones regulares (ER), encuentre segn corresponda:
Ejercicio 1
Lenguaje:
11
11
L= (
L ( 0 )L L ( 0 L (1) L ( 0 = (L (0) (L
(
)
0 0 1 0 =
11 o 0n 10 m }o , p ,n , m 0 }
0p
ER:
{0,1 } =
11 0 1 0
0
Ejercicio 2
Lenguaje:
101
L= (
L ( 1
11 ( ) =
101
1 n 101m }n , m 0 }
{1 } {101 } = {
1
ER:
01
{0,1 } = 1
11
Ejercicio 3
Lenguaje:
001
L= (
L ( 1
11 ( (101) ) =
001
101
L ( 1 )L
= L (1) (L (1) (L
( ) L
L(101)
1 o 101n 001m }o , n , m 0 }
}
}
{101
}
{001
={
(001) = {1} {1
1
ER:
01
1
{0,1 } = 01
0
11
de
autmata
es
(AFD
AFND)
( q 0 , c) = q1
( q1 , a) = q1
( q1 , b) = q 2
( q 2 , b) = q 2
( q 2 ,a)= q 2
( q3 , b) = q 4
( q 4 , a) = q 4
6
( q 4 , a) = q 4
( q 4 , a) = q 4
a
Q0
Q1
Q1
Q1
Q1
Q2
Q2
Q2
Q3
Q3
Q4
Q4
Q4
Q4
con smbolo b
3. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del
ejercicio propuesto). Debe explicar y describir cada elemento y la funcin y significado en
el autmata. Conceptos y definiciones adicionales.
Una tupla es una secuencia ordenada de objetos, es una lista de elementos con un nmero
limitado de objetos y se emplean para describir objetos matemticos los cuales pueden ser
descompuestos en un nmero de componentes.
M =( { q0 , q1 , q2, q 3, q 4, ) } , { c ,b ,a } , , q0 {q 4 }
K= { q 0, q1 , q2 ,q 3 , q4 } conjunto de estados donde el autmata viaja de un estado a otro.
7
S= { q 0, } el estado inicial donde inicia el autmata su recorrido por los diferentes estados.
F= { q 4, } este elemento de la tupla es donde termina el estado final del autmata.
= Funcin de transicin de la forma
qu estado se va a pasar sabiendo cual es el estado actual y el smbolo que se est leyendo, esta
condicin solo se cumple por el determinismo ya que siempre permite saber y despus de una
transaccin, cul ser el siguiente estado.
5. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada
secuencia. (No se trata solo de captura las imgenes, estas deben ser explicadas en pi de
pgina o de lo contrario no tienen validez)
De q 2 con el smbolo a va a q3
y de q3 con el simbolo b va q 4 .
10
11
Diferencias
1. La presentacin en Jflap se puede hacer en colores, en VAS no.
2. En jflap no se puede generar la tabla de transiciones en VAS s.
3. En Jflap para correr smbolos se da en input, luego en step by step
apareciendo una ventana en la cual se registran y luego se da run
12
Similitudes:
1. Ambos son aplicaciones para probar automatas.
2. La estructuracion se hace ambos de la misma manera.
3. Ambos corren en Java.
13