7/24/2019 Tesis Para La Automomatizacion de Equipos Orientados A laNuero Meta Sintecis

1/4

Tesis Para La Automomatizacion de Equipos Orientados A laNuero Meta

Sintecis

Empleando Algoritmos Pragmaticos y Minimizando la Usabilidad de

Recursos on !ireccion en "ase de !atos Relacionales

eora de autmatas

La teora de autmatases una rama de las ciencias de la computacinque estudia

las mquinas abstractas y los problemas que stas son capaces de resolver. La

teora de autmatas est estrechamente relacionada con la teora del lenguaje

formal ya que los autmatas son clasicados a menudo por la clase de

lenguajes formales que son capaces de reconocer.

Un autmata es un modelo matemtico para una mquina de estado finito!"# sus

siglas en ingls$. Una !"# es una mquina que% dada una entrada de smbolos%

&salta& a travs de una serie de estados de acuerdo a una funcin de transicinque puede ser e'presada como una tabla$. (n la variedad com)n ealy& de

!"#s% esta funcin de transicin dice al autmata a qu estado cambiar dados

unos determinados estado y smbolo.

La entrada es leda smbolo por smbolo% hasta que es &consumida&

completamente piense en sta como una cinta con una palabra escrita en ella%

que es leda por una cabe*a lectora del autmata+ la cabe*a se mueve a lo

largo de la cinta% leyendo un smbolo a la ve*$ una ve* la entrada se ha

agotado% el autmata se detiene.

https://es.wikipedia.org/wiki/Ciencias_de_la_computaci%C3%B3nhttps://es.wikipedia.org/wiki/Aut%C3%B3mata_finitohttps://es.wikipedia.org/wiki/Ciencias_de_la_computaci%C3%B3nhttps://es.wikipedia.org/wiki/Aut%C3%B3mata_finito

7/24/2019 Tesis Para La Automomatizacion de Equipos Orientados A laNuero Meta Sintecis

2/4

,ependiendo del estado en el que el autmata nali*a se dice que este ha

aceptado o recha*ado la entrada. "i ste termina en el estado &acepta&% el

autmata acepta la palabra. "i lo hace en el estado &recha*a&% el autmata

recha* la palabra% el conjunto de todas las palabras aceptadas por el

autmata constituyen el lenguaje aceptado por el mismo.

ndice

-ocultar

1Vocabulario

2Autmatas finitos

2.1Extensiones a los autmatas finitos

3Vase tambin

4Enlaces externos

5eferencias

/ocabulario-editarLos conceptos bsicos de smbolos% palabras% alfabetosy stringsson comunes

en la mayora de las descripciones de los autmatas. (stos son0

S#mbolo

Un dato arbitrario que tiene alg)n signicado a o efecto en la mquina. 1 estos

smbolos tambin se les llama &letras& o &tomos&.1

PalabraUna cadenanita formada por la concatenacinde un n)mero de smbolos.

Alfabeto

2onjunto nito de smbolos. Un alfabeto se indica normalmente con % que es

el con!untode letras en un alfabeto.

Lengua$e

Un conjunto de palabras% formado por smbolos en un alfabeto dado. 3uede ser

innito.

lausura de %leene

https://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matashttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Vocabulariohttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Aut.C3.B3matas_finitoshttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Extensiones_a_los_aut.C3.B3matas_finitoshttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#V.C3.A9ase_tambi.C3.A9nhttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Enlaces_externoshttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Referenciashttps://es.wikipedia.org/w/index.php?title=Teor%C3%ADa_de_aut%C3%B3matas&action=edit&section=1https://es.wikipedia.org/wiki/S%C3%ADmbolohttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#cite_note-1https://es.wikipedia.org/wiki/Stringhttps://es.wikipedia.org/wiki/Concatenaci%C3%B3nhttps://es.wikipedia.org/wiki/Conjuntohttps://es.wikipedia.org/wiki/Lenguaje_formalhttps://es.wikipedia.org/wiki/Clausura_de_Kleenehttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matashttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Vocabulariohttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Aut.C3.B3matas_finitoshttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Extensiones_a_los_aut.C3.B3matas_finitoshttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#V.C3.A9ase_tambi.C3.A9nhttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Enlaces_externoshttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#Referenciashttps://es.wikipedia.org/w/index.php?title=Teor%C3%ADa_de_aut%C3%B3matas&action=edit&section=1https://es.wikipedia.org/wiki/S%C3%ADmbolohttps://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas#cite_note-1https://es.wikipedia.org/wiki/Stringhttps://es.wikipedia.org/wiki/Concatenaci%C3%B3nhttps://es.wikipedia.org/wiki/Conjuntohttps://es.wikipedia.org/wiki/Lenguaje_formalhttps://es.wikipedia.org/wiki/Clausura_de_Kleene

7/24/2019 Tesis Para La Automomatizacion de Equipos Orientados A laNuero Meta Sintecis

3/4

Un lenguaje se puede considerar como un subconjunto de todas las posibles

palabras. (l conjunto de todas las palabras puede% a su ve*% ser considerado

como el conjunto de todas las posibles concatenaciones de cadenas.

!ormalmente% este conjunto de todas las cadenas se llama en ingls free monoid.

"e indica como % y el superndice 4 se llama la estrella de "leene.

Autmatas finitos[editar]

!ormalmente% un autmata finito1!$ puede ser descrito como una 56tupla .

('isten tres tipos de autmatas nitos

Aut&mata 'inito determinista(AFD)2ada estado de un autmata de este tipo puede o no tener una transicin por

cada smbolo del alfabeto.

1!,.

Aut&mata 'inito no determinista(AFND)

Los estados de un autmata de este tipo pueden% o no% tener una o ms

transiciones por cada smbolo del alfabeto. (l autmata acepta una palabra si

e'iste al menos un camino desde el estado q7 a un estado nal

! etiquetadocon la palabra de entrada. "i una transicin no est denida% de

manera que el autmata no puede saber como continuar leyendo la entrada% la

palabra es recha*ada.

Aut&mata 'inito no deterministacon transiciones (AFND-)

1dems de ser capa* de alcan*ar ms estados leyendo un smbolo% permite

alcan*arlos sin leer ning)n smbolo. "i un estado tiene transiciones etiquetadas

con % entonces el 1!8, puede encontrarseen cualquier de los estados

alcan*ables por las transiciones % directamente o a travs de otros estados con

transiciones . (l conjunto de estados que pueden ser alcan*ados mediante

este mtodo desde un estado q% se denomina la clausura de q.

https://es.wikipedia.org/w/index.php?title=Free_monoid&action=edit&redlink=1https://es.wikipedia.org/wiki/Clausura_de_Kleenehttps://es.wikipedia.org/w/index.php?title=Teor%C3%ADa_de_aut%C3%B3matas&action=edit&section=2https://es.wikipedia.org/wiki/Aut%C3%B3mata_finitohttps://es.wikipedia.org/wiki/Tuplahttps://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_deterministahttps://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_no_deterministahttps://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_no_deterministahttps://es.wikipedia.org/w/index.php?title=Free_monoid&action=edit&redlink=1https://es.wikipedia.org/wiki/Clausura_de_Kleenehttps://es.wikipedia.org/w/index.php?title=Teor%C3%ADa_de_aut%C3%B3matas&action=edit&section=2https://es.wikipedia.org/wiki/Aut%C3%B3mata_finitohttps://es.wikipedia.org/wiki/Tuplahttps://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_deterministahttps://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_no_deterministahttps://es.wikipedia.org/wiki/Aut%C3%B3mata_finito_no_determinista

7/24/2019 Tesis Para La Automomatizacion de Equipos Orientados A laNuero Meta Sintecis

4/4

"in embargo% puede observarse que todos estos tipos de autmatas pueden

aceptar los mismos lenguajes. "iempre se puede construir un 1!, que

acepte el mismo lenguaje que el dado por un 1!8,.

1!8, con transiciones vacas.

!tensiones a los autmatas "nitos#editar$

Los lenguajes aceptados por los autmatas descritos ms arriba se

denominan len#ua!es re#ulares. 1utmatas ms potentes pueden aceptar

lenguajes ms complejos. 1lgunos de estos autmatas son0

Aut&mata con pila

"on mquinas idnticas a los 1!, o 1!9$% e'ceptuando el hecho de que

disponen de una memoriaadicional% haciendo uso de unapila. La funcin de

transicin ahora depender tambin de los smbolos que se encuentren al

principio de la pila. (sta funcin determinar como cambia la pila en cada

transicin. (ste tipo de autmatas aceptan los len#ua!es independientes del contexto.

Aut&mata linealmente acotado

"e trata de una mquina de :uring limitada.

M(quina de Turing

"on las mquinas computacionales ms potentes. 3oseen una memoria innita

en forma de cinta% as como un cabe*al que puede leer y cambiar esta cinta% y

moverse en cualquier direccin a lo largo de la cinta.

https://es.wikipedia.org/w/index.php?title=Teor%C3%ADa_de_aut%C3%B3matas&action=edit&section=3https://es.wikipedia.org/wiki/Lenguaje_regularhttps://es.wikipedia.org/wiki/Aut%C3%B3mata_con_pilahttps://es.wikipedia.org/wiki/Memoria_de_ordenadorhttps://es.wikipedia.org/wiki/Pila_(estructura_de_datos)https://es.wikipedia.org/wiki/Lenguajes_de_contexto_librehttps://es.wikipedia.org/wiki/Aut%C3%B3mata_linealmente_acotadohttps://es.wikipedia.org/wiki/M%C3%A1quina_de_Turinghttps://es.wikipedia.org/w/index.php?title=Teor%C3%ADa_de_aut%C3%B3matas&action=edit&section=3https://es.wikipedia.org/wiki/Lenguaje_regularhttps://es.wikipedia.org/wiki/Aut%C3%B3mata_con_pilahttps://es.wikipedia.org/wiki/Memoria_de_ordenadorhttps://es.wikipedia.org/wiki/Pila_(estructura_de_datos)https://es.wikipedia.org/wiki/Lenguajes_de_contexto_librehttps://es.wikipedia.org/wiki/Aut%C3%B3mata_linealmente_acotadohttps://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing