Diferencia entre revisiones de «Práctica 0: Preliminares (Teoría de Lenguajes)»
De Cuba-Wiki
Línea 21: | Línea 21: | ||
==Ejercicio 04== | ==Ejercicio 04== | ||
*xy = abbacb | |||
*(xy)^r = bcabba | |||
*y^r = bca | |||
*y^r.x^r = (xy)^r | |||
*λx = x | |||
*λy = y | |||
*xλy = xy | |||
*x^2.λ^3.y^2 = abbabbacbacb | |||
==Ejercicio 05== | ==Ejercicio 05== | ||
==Ejercicio 06== | ==Ejercicio 06== |
Revisión del 02:20 29 mar 2007
Ejercicio 01
- Σ^0 = {λ}
- Σ^1 = {a,b}
- Σ^2 = {aa,ab,ba,bb}
- Σ* = {λ,a,b,aa,ab,ba,bb,..}
- Σ+ = {a,b,aa,ab,ba,bb,..}
- |Σ^1| = 2
- |Σ^0| = 1
Ejercicio 02
- x^0 = λ
- x^1 = abb
- x^2 = abbabb
- x^3 = abbabbabb
- П{k=0..3} x^k = λ.x.xx.xxx = x^(3!)
- x^r = bba
Ejercicio 03
Valen: λ Σ*, Σ^0 = {λ}
Ejercicio 04
- xy = abbacb
- (xy)^r = bcabba
- y^r = bca
- y^r.x^r = (xy)^r
- λx = x
- λy = y
- xλy = xy
- x^2.λ^3.y^2 = abbabbacbacb