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

Ejercicio 05

Ejercicio 06

Ejercicio 07

Ejercicio 08

Ejercicio 09

Ejercicio 10