expo TEORIA DE COMPUTACION AFD2

Autómatas Finitos Bidireccionalesa.f.d. 2 : 

Autómatas Finitos Bidireccionalesa.f.d. 2 Teoría de la Computación Arenas Alvarez José de Jesús García Valencia Lydia Annette Ramírez Fimbres Luz Angélica Ingeniería en Sistemas Computacionales

Autómata Finito Bidireccional (A.F.D.2) : 

Autómata Finito Bidireccional (A.F.D.2) También denominado “Autómata Finito Determinista de 2 Vías”. Es una quíntupla de la forma MT=(Q, ∑,∂,q0,F). Donde ∂ transforma QX ∑ a QX{I,D} Si ∂(q,a)=(p,I) entonces en el estado q, con entrada a, el AFD2 entra al disco p y mueve su cabeza a la izquierda un cuadro. Si ∂(q,a)=(p,D) entonces en el estado q, con entrada a, el AFD2 entra al disco p y mueve su cabeza a la derecha un cuadro.

Ejemplo 1 : 

Ejemplo 1

Ejemplo 2 : 

Ejemplo 2 Autómata de alfabeto a,b cuyo estado aceptador es bbb, según se van ingresando las letras, sólo se toman las últimas 3 letras de la palabra. Considerar la siguiente tabla de transición.