TRABAJO FINAL

Para ver el documento de click en el link

Trabajo Final de investigación que considere los siguientes puntos :

- Autómatas de pila (AP)
- Definición
- Funcionamiento
- Tipos de problemas a los que se aplica
- Diseño
- 3 ejemplos de AP




- Máquina de Turing
- Definición
- Funcionamiento
- Tipos de problemas a los que se aplica
- Diseño
- 3 ejemplos de MT
- Bibliografía

TAREA 10

TAREA 9

1) Escribir la definición formal del AFDUna máquina de estados finitos M es un Quíntuplo (K,∑, δ, s, F) dondeS0 S1 S2M= (K,∑, δ, s, F) K= {S0, S1, S2}∑ = {a,b}δ = {(( S0,a), S0), (( S0,b), S1) , (( S1,a), S2), ( (S1,b), S2), (( S2,a), S2 ), (( S2,b), S1) }F = { S2}S = S0
Calcule las siguientes palabras:



abbb[[S0, abbb] ├ [[S0, bbb]]├ [[S1,bb],]├ [[S2,b]]├ [[S1,ε]]baba[[S0, baba] ├ [[S1, aba]]├ [[S2,ba],]├ [[S1,a]]├ [[S2,ε]]bababb[[S0, bababb] ├ [[S1, ababb]]├ [[S2,babb],]├ [[S1,abb]]├ [[S2, bb] ├ [[S1, b]]├ [[S2,ε]]0abaab[[S0, abaab] ├ [[S0, baab]]├ [[S2,aab],]├ [[S2,ab]]├ [[S2, b]]├ [[S1,ε]]3)

Que lenguaje sta aceptando el AFDPara que el lenguaje sea aceptado tiene que empezar con la palabra b y terminar con la palabra a o b.