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

De Cuba-Wiki
Línea 1: Línea 1:
==Ejercicio 01==
==Ejercicio 01==
*a)
*a)
*b) S->aS, S->bA, A->bA, A->λ, S->cdcdcdB, B->cdcdB, B->λ
*b)
*c) S->(0|1)S, S->000A, A->(0|1)A, A->λ
<br>S->aS | bA | cdcdcdB
*d)  
<br>A->bA | λ
*e) S->(0|1)A, S->(0|..|9)B, B->:C, C->(0|..|5)D, D->(0|..|9), S->2E, E->(0|..|3)B
<br>B->cdcdB | λ
*c)
<br>S->(0,1)S | 000A, A->(0,1)A, A->λ
*d)
<br>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)
*e)
<br>S->(0,1)A | 2E
<br>A->(0..9)B
<br>B->:C
<br>C->(0..5)D
<br>D->(0..9)
<br>E->(0..3)B


==Ejercicio 02==
==Ejercicio 02==

Revisión del 22:44 30 mar 2007

Ejercicio 01

  • a)
  • b)


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

  • c)


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

  • d)


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)
  • e)


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

Ejercicio 02

Ejercicio 03

Ejercicio 04

Ejercicio 05

Ejercicio 06