You are on page 1of 4

Ejercicio01: diseΓ±ar un AP que acepte el lenguaje Lwwr.

P = ({π‘ž0 , π‘ž1 , π‘ž2 }, {0,
1}, {0, 1, 𝑧0 }, Ξ΄, π‘ž0 , 𝑧0 , {π‘ž2 }), donde Ξ΄ se define:

Q 𝚺 πšͺ Movimiento
π’’πŸŽ 0 𝑧0 (π‘ž0 , 0𝑧0 )
π’’πŸŽ 1 𝑧0 (π‘ž0 , 1𝑧0 )
π’’πŸŽ 0 0 (π‘ž0 , 00)
π’’πŸŽ 0 1 (π‘ž0 , 01)
π’’πŸŽ 1 0 (π‘ž0 , 10)
π’’πŸŽ 1 1 (π‘ž0 , 11)
π’’πŸŽ πœ€ 𝑧0 (π‘ž1 , 𝑧0 )
π’’πŸŽ πœ€ 0 (π‘ž1 , 0)
π’’πŸŽ πœ€ 1 (π‘ž1 , 1)
π’’πŸ 0 0 (π‘ž1 , πœ€)
π’’πŸ 1 1 (π‘ž1 , πœ€)
π’’πŸ πœ€ 𝑧0 (π‘ž2 , 𝑧0 )

𝜹 0 1 𝜺
(π’’πŸŽ , π’›πŸŽ ) (π‘ž0 , 0𝑧0 ) (π‘ž0 , 1𝑧0 ) -
(π’’πŸŽ , 0) (π‘ž0 , 00) (π‘ž0 , 10) (π‘ž1 , 0)
(π’’πŸŽ , 1) (π‘ž0 , 01) (π‘ž0 , 11) (π‘ž1 , 1)
(π’’πŸ , 0) (π‘ž1 , πœ€) - -
(π’’πŸ , 1) - (π‘ž1 , πœ€) -
(π’’πŸ , π’›πŸŽ ) - - (π‘ž1 , 𝑧0 )
(π’’πŸ , π’›πŸŽ ) - - (π‘ž2 , 𝑧0 )

Ejemplo: acciΓ³n del AP para la entrada 1111:

1. πœ†. πœ†). π’’πŸ . πœ€.(π‘ž2 . 𝟏}. 𝑧0 )) β†’ (π‘ž2 . 𝟎}. 0𝑍). 𝑍) = (π‘ž0 . πœ†) 𝛿(π‘ž2 .0) = (π‘ž1 . 1. de la forma:𝑷 = ({π’’πŸŽ . πœ€. πœ†) . {π’’πŸŽ }) Donde 𝜹 se define: 𝛿(π‘ž0 . 11. 𝑍) = (π‘ž1 . 1111. 11. p. πœ†). 𝛿(π‘ž1 .0) = (π‘ž2 . 0) = (π‘ž0 . π’’πŸŽ . Ejercicio 02: Construir un autΓ³mata de pila que reconozca el lenguaje 𝐿 = {0π‘š 1π‘š /π‘š β‰₯ 0} SoluciΓ³n: Se puede definir un autΓ³mata de pila. πœ†.0) = (π‘ž2 .Rta: (π‘ž0 . 𝛿(π‘ž0 . 111. {𝟎. 1. π’’πŸ }. 𝜹.1𝑧0 ) β†’ (π‘ž1 . 0. 𝒁. 𝑧0 ). 0. 11𝑧0 ) β†’ (π‘ž1 . 11𝑧0 ) β†’ (π‘ž1 . 00) 𝛿(π‘ž1 . 𝑧0 ) β†’ (π‘ž0 .1𝑧0 ) β†’ (π‘ž0 . {𝒁.

realizando las posibles restricciones. 11. πœ† οƒΌ Ejemplo: Reconocer la sentencia 000111 del lenguaje. πœ†πœ†πœ†π‘) β†’ (π‘ž1 . 111.00𝑍) β†’ (π‘ž1 . πœ†) . πœ†. 000111. π‘ž2 . 1.000𝑍) β†’ (π‘ž2 . 𝒁 . πœ†. π‘ž1 . 0𝑍 . . 00 - π’’πŸ . πœ†00𝑍) β†’ (π‘ž2 . πœ† . π‘ž1 . 𝑍) β†’ (π‘ž0 . 𝜹 𝟎 𝟏 𝝀 π’’πŸŽ . π‘ž0 .0𝑍) β†’ (π‘ž1 . πœ† - π’’πŸ . 𝟎 π‘ž2 . πœ†) β†’ (π‘ž0 . πœ†πœ†0𝑍) β†’ (π‘ž2 . 0111. 00111. πœ† π’’πŸ . πœ†. - π’’πŸŽ . 𝟎 . (π‘ž0 . 𝟎 . 𝒁 π‘ž0 .

𝑋𝑋 π‘ž.𝑿 π‘ž. 𝑋𝑍0 . 𝛿(π‘ž . πœ†). 𝑋) = (𝑝. πœ† 𝒑.00𝑋𝑋𝑍0 ) β†’ (π‘ž. 𝑋𝑋 𝑝. πœ†. 𝑝.0𝑋𝑍0 ) β†’ (π‘ž. 𝑋). πœ† - οƒΌ Ejemplo: Reconocer la sentencia 0011 del lenguaje. {𝑝})donde 𝛿 se define en la siguiente manera: SoluciΓ³n: 𝛿(π‘ž . πœ†. 𝑋𝑍0 ). πœ†) 𝜹 𝟎 𝟏 𝝀 𝒒 . 0. πœ†) . (π‘ž. π’πŸŽ . 𝑝}. 1. 𝑍0 ) = (𝑝. 011. π’πŸŽ π‘ž.Ejercicio 03: Determinar si el siguiente AP es o no determinista: 𝑃 = ({π‘ž. 11. 1. 𝑍0 ) β†’ (π‘ž. 0011.0𝑋𝑍0 ) β†’ (𝑝. 𝑋) = (π‘ž. 𝛿(π‘ž . 𝑋 𝑝. 𝑋) = (𝑝. πœ†π‘‹π‘‹π‘0 ) β†’ (𝑝. π‘ž0 . realizando las posibles restricciones. 1. 𝛿(𝑝. πœ†) 𝛿(𝑝.1}. - 𝒒. πœ†. 1. 𝑋𝑋) 𝛿(𝑝. 𝑿 . πœ† 𝒑. 𝑋) = (π‘ž. 𝑍0 . 𝑋) = (𝑝. {𝑍0 𝑋}. 𝑝. πœ†πœ†πœ†π‘0 ) β†’ (π‘ž. πœ†. {0. πœ†. 0. 𝑍0 ) = (π‘ž. 𝛿. 𝑋𝑋) 𝛿(π‘ž.