Loading...
Revisión #1: Batería de ejercicios
Para la resolución de la serie recomendamos usar:
https://www2.cs.duke.edu/csed/jflap/jflaptmp/
y si son un poco más aventurados
https://gitlab.com/ivanvladimir/maquinas
(sin
documentación y garantías, ver notebooks)
Sección uno:
ER→AFND-ε→AFND→AF
Para los ejercicios
de
1 a 5 diseñar las máquinas solicitadas dado el lenguaje especificado
Evidencia a incluir:
ER
A
F
N
D
-
ε
AFND\textnormal{-}\varepsilon
A
F
N
D
-
ε
A
F
N
D
AFND
A
F
N
D
A
F
AF
A
F
Evaluación de función extendida
Pregunta 1
Considerando el alfabeto
Σ={l,m,n,1,2,#,$}
diseñe para el lenguaje de passwords con las siguientes características:
- Longitud mayor a 2
- Al menos un numeral
(dígito)
- Al menos un símbolo alfanumérico
Una expresión regular
Su autómata finito no determinístico con transición epsilón
(AFND-ε)
Su autómata finito no deteminístico
(AFND)
Su autómata finito AF
Adicionalmente, evalué la función de transición extendida del AF para la cadena:
mmm1$
Pregunta 2
Considerando el alfabeto
Σ={x,y,z,w,@,.}
diseñe para el lenguaje de direcciones e-mail.
Una expresión regular
Su autómata finito no determinístico con transición epsilón
(AFND-ε)
Su autómata finito no deteminístico
(AFND)
Su autómata finito AF
Adicionalmente, evalué la función de transición extendida del AF para la cadena:
w@x.yz
Pregunta 3
Considerando el alfabeto
Σ={i,j,k,<,>,/}
diseñe para el lenguaje de
secuencia de etiquetas HTML
siguiendo con las siguientes características:
Pueden ser etiquetas de apertura o cierre de etiqueta
Sólo contienen nombre, no hay atributos
Una expresión regular
Su autómata finito no determinístico con transición epsilón
(AFND-ε)
Su autómata finito no deteminístico
(AFND)
Su autómata finito AF
Adicionalmente, evalué la función de transición extendida del AF para la cadena: <ik></ik>
Pregunta 4
Considerando el alfabeto
Σ={5,6,7,8,9,-}
diseñe para el lenguaje de
números telefónicos
siguiendo con las siguientes características:
Todos los números comienzan con 55
Los números solo tienen 5 números
Los números pueden estar separados por un
‘-’
en pares y tripletas de números
Una expresión regular
Su autómata finito no determinístico con transición epsilón
(AFND-ε)
Please turn on JavaScript to use Paper in all of its awesomeness. ^_^
Sección uno: ER→AFND-ε→AFND→AF
Pregunta 1
Pregunta 2
Pregunta 3
Pregunta 4