Reglas de operacin de un autmata de pila (AP)

1.- Como el AP suspender su funcionamiento si la pila esta vaca, utilizaremos a un smbolo especial que marcara el fondo de la pila. 2.- La maquina empieza con una cierta configuracin inicial en la pila. La pila deber tener nicamente el smbolo del "fondo" de la pila. 3.- La maquina empieza a funcionar en un cierto estado inicial. 4.- El funcionamiento del AP estar dado por un conjunto de reglas que especifican: (q, a; Z) q= Smbolo que se lee de la cadena a= Smbolo que se extrae de la pila Z= Smbolo que se apila

5.- Cualquier combinacin (estado, entrada, pila) que no este especificado respecto al autmata finito, ocasiona que el AP interrumpa su operacin.
6.- Decimos que un AP acepta una cadena si al interrumpir su operacin despus de haber examinado a toda la cadena de entrada, termina con la pila vaca.

EJEMPLO

Autmata: xmynxm

n, m>=1

xxyyyxx

Smbolo que se lee de la cadena

Smbolo que se saca de la pila

Smbolo que se apila

Autmata: xmynxm

n, m>=1

xxyyyxx

Smbolo que se lee de la cadena

Smbolo que se saca de la pila

Smbolo que se apila

# x x #

Autmata: xmynxm

n, m>=1

xxyyyxx

Smbolo que se lee de la cadena

Smbolo que se saca de la pila

Smbolo que se apila

# x

xx

x x #

Autmata: xmynxm

n, m>=1

xxyyyxx

Smbolo que se lee de la cadena

Smbolo que se saca de la pila

Smbolo que se apila

# x

xx
xxy

x x #

Autmata: xmynxm

n, m>=1

xxyyyxx

Smbolo que se lee de la cadena

Smbolo que se saca de la pila

Smbolo que se apila

# x

xx
xxy xxyy

x x #

Autmata: xmynxm

n, m>=1

xxyyyxx

Smbolo que se lee de la cadena

Smbolo que se saca de la pila

Smbolo que se apila

# x

xx
xxy xxyy xxyyy

x x #

Autmata: xmynxm

n, m>=1

xxyyyxx

Smbolo que se lee de la cadena

Smbolo que se saca de la pila

Smbolo que se apila

# x

xx
xxy xxyy xxyyy xxyyyx

Saca a: x
x #

Autmata: xmynxm

n, m>=1

xxyyyxx

Smbolo que se lee de la cadena

Smbolo que se saca de la pila

Smbolo que se apila

# x

xx
xxy xxyy xxyyy xxyyyx xxyyyxx

x x

Saca a: x
#

Autmata: xmynxm

n, m>=1

xxyyyxx
Smbolo que se lee de la cadena Smbolo que se saca de la pila Smbolo que se apila

CADENA VALIDA

x xx xxy xxyy xxyyy xxyyyx

# x x Saca a: #

xxyyyxx xxyyyxx

x #