Alumna: Jeny Paula Orozco Calva

Descripcin de autmatas

Recuperado 06/06/2017 file:///C:/Users/Jen/Downloads/Unidad_1._Computar.pdf

Los autmatas son sistemas que reciben informacin, la transforman y producen

otra informacin que se transmite al entorno.

Proponen un enlazamiento automtico y continuado de operaciones que permiten

el procesamiento de una informacin de entrada, que al mismo tiempo generar
una contraparte de salida.

Cuando hablamos de autmatas nos referimos a equipos electrnicos

programables compuestos de:

Microprocesador
Interface (entradas y salidas)
Memoria

En la memoria es donde se guarda el programa a aplicar hecho por el usuario,

para un mejor control.

El lenguaje debe ser sencillo, de fcil lectura y compresin para cualquier lector,
pudiendo tener uno ms lenguajes.

Cuando aumenta la aplicacin aumenta de complejidad, es probable que aumente

la capacidad de entradas y salidas mismas que pueden ser: digitales, analgicas,
discretas, numricas o especiales.

Los autmatas realizan sus tareas de acuerdo con una serie de sentencias o
instrucciones establecidas en un programa. Mismas que fueron escritas antes por
el usuario con un lenguaje claro para el autmata.

Las primeras aplicaciones de los autmatas se dieron en el rea automotriz, pero

debido a la disminucin de tamao y de menor costo ha provocado que se utilice
en todos los sectores de la industria
Entre sus principales caractersticas ponemos destacar las siguientes:

o Hardware estndar para distintas aplicaciones

o Se puede ampliar
o El desarrollo es del proyecto se lleva poco tiempo
o Se adapta al proceso
o Se pueden hacer modificaciones sencillas
o Es fcil de darle mantenimiento
o Tiene herramientas para prueba
o Se estructuran fcilmente en bloques independientes.

Tipos de autmatas

o Autmatas finitos y lenguajes regulares

o Autmatas de pila y lenguajes libres de contexto
o Autmatas lineales y lenguajes sensibles al contexto
o Mquinas de turing y lenguajes recursivos enumerables

Autmata finito

Es aquel en el cual para cada par est perfectamente definido el siguiente estado
el cual pasara el autmata, es decir para cualquier estado q en que se encuentre
el autmata y con cualquier smbolo s del alfabeto ledo, existe exactamente una
transicin que parte de q y esta etiquetada con s. Formalmente un autmata finito
determinista (AFD) es similar a un atomata de estados finitos, representado una 5-
tupla (S, ,T,s,A) donde:

es un alfabeto

S es un conjunto de estados

T es la funcin de transicin
Al contrario de la de la definicin de autmata finito, este es un caso particular
donde no se permiten transiciones vacas, el dominio de la funcin T es S (con lo
cual no se permiten transiciones desde un estado de un mismo smbolo de varios
estados).

Automatas de Pila

De igual manera que los lenguajes regulares se pueden representar mediante

autmatas finitos deterministas, los lenguajes independientes del contexto tienen
su correspondencia en otro tipo de dispositivo: el Autmata a Pila (AP).

Un autmata a pila es un dispositivo que tiene acceso a:

Una secuencia de smbolos de entrada, que en general se representa por una

cinta que se desplaza frente a un mecanismo de captacin de dichos smbolos.

El smbolo superior de una memoria en pila (LIFO). Un autmata a pila se

encuentra en cada momento en un estado determinado y el estado siguiente
depende de los tres elementos siguientes:

Estado actual

Smbolo de entrada

Smbolo superior de la pila

Autmatas lineales

Un autmata lineal acotado (LBA de sus siglas en ingls Linear-Bounded

Autmata) es una mquina de Turing no determinstica (para mayor comprensin
del tema vea el captulo V de Mquinas de Turing) que satisface las siguientes dos
condiciones:

El alfabeto de entrada de cinta incluye dos smbolos: < y >, los sealadores
de extremo izquierdo y derecho, respectivamente.
El LBA no tiene movimientos a la izquierda de < o a la derecha de >, ni
puede sustituir los smbolos < y >.

Definiremos un autmata linealmente acotado como una mquina de Turing no

determinista M=(Q, S , G , d , q0, B, F), en la cual el alfabeto de cinta contenga
dos smbolos especiales < y >. M comienza con la configuracin (q1 , w>) (donde
q1 es el estado inicial de M). No se permite que M reemplace los smbolos < o >,
ni que mueva su cabeza a la izquierda de < o a la derecha de >, con lo cual, el
LBA tiene que realizar su computacin en las nicas celdas de la cinta que
estaban originalmente ocupadas por la cadena de entrada.

Descripcin de gramticas

La gramtica es un ente formal para especificar, de una manera finita, el conjunto

de cadenas de smbolos que constituyen un lenguaje. La gramtica genera o
describe un lenguaje.

Se definen mediante una cuadrupla0 0G = (N, T, P, S) donde:

- N es un conjunto finito de smbolos no terminales

- T es un conjunto finito de smbolos terminales N T =

- P es un conjunto finito de producciones

- S es el smbolo distinguido o axioma S (N T)

En 1959, Noam Chomsky clasific las gramticas en cuatro tipos de lenguajes y

esta clasificacin es conocida como la jerarqua de Chomsky, en la cual cada
lenguaje es descrito por el tipo de gramtica generado. Estos lenguajes sirven
como base para la clasificacin de lenguajes de programacin. Los cuatro tipos
son: lenguajes recursivamente enumerables, lenguajes sensibles al contexto,
lenguajes libres de contexto y lenguajes regulares. Dichos lenguajes tambin se
identifican como lenguajes de tipo o, 1, 2 y 3.

Existe una exacta correspondencia entre cada uno de estos tipos de lenguajes y
particulares arquitecturas de mquinas en el sentido que por cada lenguaje de tipo
T hay una arquitectura de mquina A que reconoce el lenguaje de tipo T y por
cada arquitectura A hay un tipo T tal que todos los lenguajes reconocidos por A
son de tipo T.
La relacin entre los lenguajes es descrita a continuacin:

Sobre un alfabeto dado, el conjunto de los lenguajes recursivamente enumerables

contiene propiamente al conjunto de los lenguajes recursivos que contiene
propiamente al conjunto de los lenguajes sensibles al contexto que contiene
propiamente al conjunto de lenguajes libres de contexto, que a su vez contiene
propiamente a los lenguajes regulares.

Ejemplo 1: La siguiente gramtica genera las cadenas del lenguaje L1 = {wcwR /

w {a, b}*}

G1 = ({A}, {a, b, c}, P1, S1), y P1 contiene las siguientes producciones

S1 A

A aAa

A bAb

Ac
Bibliografa:

https://www.dcc.uchile.cl/~gnavarro/apunte.pdf