Diferencia entre revisiones de «Práctica 1: Gramáticas Regulares y Autómatas Finitos (Teoría de Lenguajes)»

Revisión del 19:35 9 may 2008

Construir gramaticas regulares para los siguientes lenguajes:

S->+A|-A
A->0,C|1..9B
B->0..9B|,C|λ
C->0..9C|1..9

S->aS | bA | cdcdcdB
A->bA | λ
B->cdcdB | λ

S->(0,1)S | 000A, A->(0,1)A, A->λ

d) Cadenas que representen una fecha valida de este siglo (p. ej, 29/2/01 es invalida)

S->(1..28)/(1..12)/(00..99) 
| 29/(1,3..12)/(00..99)
| 29/2/(00,04..96)
| 30/(2,4,6,9,11)/(00..99)
| 31/(1,3,5,7,8,10,12)/(00..99)

S->(0,1)A | 2E
A->(0..9)B
B->:C
C->(0..5)D
D->(0..9)
E->(0..3)B

@@ Línea 2: / Línea 2: @@
 ==Ejercicio 01==
-*a)
-<br>S->+A|-A
+''Construir gramaticas regulares para los siguientes lenguajes:''
-<br>A->0B|1..9B
-<br>B->,1..,9C|λ
+*a) ''Constantes reales con signo''
-<br>C->0..9C|1..9
+ S->+A|-A
-*b)
+ A->0,C|1..9B
-<br>S->aS | bA | cdcdcdB
+ B->0..9B|,C|λ
-<br>A->bA | λ
+ C->0..9C|1..9
-<br>B->cdcdB | λ
-*c)
+*b) <math>L = {x = a^i b^j \vee x = (cd)^{2n+2}, i \geq 0, n,j \geq 1}</math>
-<br>S->(0,1)S | 000A, A->(0,1)A, A->λ
+ S->aS | bA | cdcdcdB
-*d)
+ A->bA | λ
-<br>S->(1..28)/(1..12)/(00..99)
+ B->cdcdB | λ
-<br>| 29/(1,3..12)/(00..99)
-<br>| 29/2/(00,04..96)
+*c) ''Cadenas que contengan 3 ceros consecutivos.''
-<br>| 30/(2,4,6,9,11)/(00..99)
+ S->(0,1)S | 000A, A->(0,1)A, A->λ
-<br>| 31/(1,3,5,7,8,10,12)/(00..99)
-*e)
+*d) ''Cadenas que representen una fecha valida de este siglo (p. ej, 29/2/01 es invalida)''
-<br>S->(0,1)A | 2E
+ S->(1..28)/(1..12)/(00..99)
-<br>A->(0..9)B
+ | 29/(1,3..12)/(00..99)
-<br>B->:C
+ | 29/2/(00,04..96)
-<br>C->(0..5)D
+ | 30/(2,4,6,9,11)/(00..99)
-<br>D->(0..9)
+ | 31/(1,3,5,7,8,10,12)/(00..99)
-<br>E->(0..3)B
+*e) ''Cadenas que representen una hora valida (p. ej, 23:60 es invalida)''
+ S->(0,1)A | 2E
+ A->(0..9)B
+ B->:C
+ C->(0..5)D
+ D->(0..9)
+ E->(0..3)B
 ==Ejercicio 02==