AUTOMATAS A PILA

De igual manera que los lenguajes regulares se pueden representar mediante autómatas
finitos deterministas, los lenguajes independientes del contexto tienen su
correspondencia en otro tipo de dispositivo: el Autómata a Pila (AP). Un autómata a pila
es un dispositivo que tiene acceso a:
• Una secuencia de símbolos de entrada, que en general se representa por una cinta
que se desplaza frente a un mecanismo de captación de dichos símbolos.
• El símbolo superior de una memoria en pila (LIFO) Un autómata a pila se encuentra en
cada momento en un estado determinado y el estado siguiente depende de los tres
elementos siguientes:
 estado actual
 símbolo de entrada
 símbolo superior de la pila
Generalmente, el autómata a pila es no determinista en el sentido de que se permite
que haya varias acciones posibles en cada momento.
Un AP puede realizar dos tipos de operaciones elementales:
1. Dependientes de la entrada: Se lee la cinta y se avanza la cabeza lectora.
En función:
 Del estado actual (qi)
 Del símbolo leído en la cinta (a)
 Del símbolo en la cima de la pila (Z)
Se pasa a un nuevo estado, se elimina el elemento Z de la cima de la pila y se introduce
en su lugar una cadena de símbolos.
2. Independientes de la entrada: Las mismas operaciones que en el caso anterior, sólo
que no se lee la cinta, ni se avanza la cabeza lectora. Se maneja la pila sin la información
de entrada.

DEFINICION FORMAL DE UN AUTOMATA A PILA

Un autómata a pila es una séptupla:
AP= (Σ, Γ, Q, A0, q0, f, F)
Donde:
 Σ es el alfabeto de entrada
 Γ es el alfabeto de la pila
 Q es un conjunto finito de estados
 A0 ∈ Γ es el símbolo inicial de la pila
 q0 ∈ Q el estado inicial del autómata
  F ⊆ Q es el subconjunto de estados finales
 f es una aplicación denominada función de transición de ternas (estado,
símbolo de entrada o λ, símbolo de pila) en el conjunto de las partes Q×Γ*

f : Q×{Σ∪{λ}}× Γ → 2 Q×Γ* (subconjunto finito)

Un AP comienza su funcionamiento en la configuración inicial:
 En el estado inicial (q0)
 Con sólo un símbolo en la pila (A0)
 Con la cabeza lectora en el primer símbolo de la entrada
A partir de esta configuración realiza transiciones según la definición de la función f.
 INTERPRETACIÓN DE LA FUNCIÓN DE TRANSICION

 Representaremos con:
 (a, b,...) los elementos de Σ
 (A, B, C...) los de Γ
 (x, y, z,...) los de Σ*
 (X, Y, Z,...) los de Γ*
 La interpretación de f es:

a) f (q, a, A) = {(q1, Z1), (q2, Z2),... (qn, Zn)}

Cuando el autómata se encuentra en el estado q, lee el símbolo de entrada a y tiene el

símbolo A en la cima de la pila; el autómata pasará a algún estado qi (recordar que es
no determinista), eliminará el símbolo A de la pila e introducirá en ella la palabra Zi,
quedando la cabeza de Zi en la cima de la pila.
b) f (q, λ, A) = {(q1, Z1), (q2, Z2),... (qn, Zn)}

Cuando el autómata se encuentra en el estado q, y tiene el símbolo A en la cima de la

pila; el autómata pasará a algún estado qi (recordar que es no determinista), eliminará
el símbolo A de la pila e introducirá en ella la palabra Zi, quedando la cabeza de Zi en la
cima de la pila.
Se entiende que el resultado de la función f para las configuraciones (estado, símbolo
de entrada y símbolo de pila) no explícitamente especificadas es el conjunto vacío.
Estas representan configuraciones “muertas” del autómata.

LENGUAJE ACEPTADO POR UN AUTOMATA A PILA

Se describe el proceso de aceptación o rechazo de una palabra de Σ* mediante una
sucesión de movimientos.
Un AP= (Σ, Γ, Q, A0, q0, f, F) puede reconocer palabras del alfabeto de entrada de dos
formas distintas:
  por estado final:
LF (AP) = {x | (q0, x, A0) ├* (p, λ, X), con p∈F, X∈Γ*}
 por vaciado de pila :

LV (AP) = {x | (q0, x, A0) ├* (p, λ, λ) con p∈Q}

LF (AP) y LV (AP) representan a los lenguajes reconocidos por el autómata AP por estado
final y por vaciado de pila respectivamente. Cuando la aceptación se realiza por vaciado
de pila, el conjunto de estados finales F es irrelevante.
Dos autómata a pila (por vaciado de pila o por estado final), AP1 y AP2, son equivalentes,
si aceptan el mismo lenguaje, es decir, si L (AP1)=L (AP2).

AUTÓMATAS A PILA DETERMINISTAS

Decimos que un autómata a pila es determinista si se verifica lo siguiente:
1. ∀ q∈Q, ∀ A∈Γ:
f(q, λ, A) ≠ ∅ ⇒ ∀ a∈Σ: f(q, a, A) = ∅
2. ∀q∈Q, ∀A∈Γ, ∀a∈ Σ∪{λ}:
f (q, a, A) contiene como máximo un elemento.
A lo sumo, desde una configuración cualquiera existe como mucho un posible
movimiento. A diferencia de los autómatas finitos, se entiende que un AP es no
determinista, a menos que se diga lo contrario.

NEURONAS DE McCULLOCH-PITTS
El modelo neuronal propuesto por Warren S. McCulloch y Walter Pitts en 1943 fue el
primer modelo neuronal moderno, y ha sido tomado como punto de partida para el
desarrollo de muchos de los modelos neuronales actuales, además de que es utilizado
como punto de referencia para evaluar el comportamiento de otros modelos. Sin
embargo, en muchos de los estudios en que refieren a este modelo, no se interpreta
correctamente el sentido que quisieron dar originalmente McCulloch y Pitts,
atribuyéndole características o funciones que no fueron descritas por sus autores y que
en realidad no posee, o bien restándole importancia a la capacidad de procesamiento
del modelo.
McCulloch y Pitts parten de cinco consideraciones acerca del comportamiento de las
neuronas. Dichas consideraciones las plantean de la siguiente forma:
 La actividad neuronal es un proceso "todo o nada".
 Un cierto número fijo de sinapsis debe ser excitado dentro de un período de
adición latente en orden de excitar una neurona en cualquier intervalo de
tiempo, y este número es independiente de la actividad previa y la posición de
la neurona.
 El único retardo significativo dentro del sistema es el retardo sináptico.
 La actividad de cualquier sinapsis inhibitoria previene absolutamente la
excitación de la neurona en ese intervalo de tiempo.
 La estructura de la red no cambia con el tiempo.
Estas consideraciones describen a lo que se ha conocido como la neurona "McCulloch-
Pitts".
De las consideraciones mostradas podemos extraer y resaltar lo siguiente. La neurona
McCulloch-Pitts es un dispositivo binario, es decir, solo puede estar en uno de dos
posibles estados. Cada neurona puede recibir entradas de sinapsis excitadoras, las
cuales tienen todos unos mismos pesos. También pueden recibir entradas de sinapsis
inhibitorias, cuya acción es absoluta; es decir, si la sinapsis inhibitoria está activa, la
neurona no puede encender. Hay un lapso de tiempo dado fijo para la integración de las
entradas sinápticas, basado en el retardo sináptico observado; esto le da a la neurona
su carácter de trabajo en tiempo discreto.
Características y funcionalidad del modelo
Para ilustrar la funcionalidad del modelo McCulloch-Pitts vamos a revisar el
comportamiento de algunas neuronas. Para ilustrar esto vamos a utilizar la
representación gráfica que utilizaron sus autores en el artículo que describe al modelo,
el cual se muestra en la figura.

Cabe mencionar que en la actualidad esta forma de representar a la neurona también

ya cayó en desuso, sin embargo la utilizamos aquí simplemente para ilustrar las ideas
originales de McCulloch y Pitts.
Un ejemplo de su funcionamiento lo podemos tener si consideramos una neurona de
este tipo con dos sinapsis excitatorias a su entrada, considerando unitario el peso de
cada una de estas sinapsis, y supongamos que la neurona tiene un umbral de dos
unidades. Si ninguna de las dos entradas se encuentra activa en un tiempo dado, o
incluso si solamente una de ellas se encuentra activa y la otra no, la neurona no
responderá; solamente cuando ambas sinapsis de entrada se encuentren activas la
neurona podrá responder. Si revisamos cuidadosamente este comportamiento
podremos identificar que corresponde al comportamiento de la función lógica AND. De
la misma manera, si consideramos que la neurona ahora posee un umbral unitario,
entonces ahora tendremos el comportamiento lógico OR. De esta misma forma es muy
simple el implantar funciones lógicas, como se muestra en la figura.

Podemos decir que la neurona McCulloch-Pitts está realizando simple lógica de umbral.
Como McCulloch y Pitts pusieron en su Introducción, "La regla "todo o nada" de la
actividad nerviosa es suficiente para asegurar que la actividad de cualquier neurona
puede ser representada como una proposición. Las relaciones fisiológicas que existen
entre las actividades nerviosas corresponden, desde luego, a relaciones entre las
proposiciones; y la utilidad de la representación depende él la identidad de estas
relaciones con aquellas de la lógica de proposiciones". Como era obvio para McCulloch
y Pitts, la red de conexiones entre las proposiciones simples puede elevarlas a
proposiciones muy complejas. El resultado central del artículo es que demuestran que
cualquier expresión lógica finita puede ser realizada por neuronas del tipo que ellos
proponen.
Algo que era claro para McCulloch y Pitts aun cuando no lo mencionan de forma
explícita, es que una sola neurona era demasiado simple, y que el poder computacional
venía porque estas neuronas simples estaban insertas en un sistema nervioso
interactuante.
Si bien es cierto que como modelo neuronal biológico el modelo McCulloch-Pitts no es
adecuado para describirlas. Sin embargo, desde el punto de vista computacional, el
modelo ha servido de inspiración para muchos modelos subsecuentes, y sigue sirviendo
de paradigma dentro del campo de la Ingeniería Neuronal.
El potencial de este modelo aún ahora sigue siendo grande. A la fecha se siguen
buscando nuevas formas de interpretar y aprovechar las características de este modelo
, por lo que es perfectamente factible partir nuevamente de las ideas que propone para
desarrollar nuevos modelos, donde de aproveche su capacidad de representación lógica
y digital, que sean fácilmente implantables en los dispositivos digitales modernos.
Bibliografía
 http://medicinaycomplejidad.org/pdf/reciente/r31459.pdf
 . W. S. McCulloch y W. Pitts, "A logical calculus of the ideas immanent in neurons
activity", Bull. Math. Biophys., 5, 115-133, (1943).
 http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo11.pdf
 http://coleweb.dc.fi.udc.es/cole/library/ps/Alo2000a_05.pdf