Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
83Activity
0 of .
Results for:
No results containing your search query
P. 1
Compiladores - Automatas Finitos

Compiladores - Automatas Finitos

Ratings:

2.5

(2)
|Views: 5,878 |Likes:
Published by Gust Alva
introducción al tema de Autómatas Finitos entre los cuales tenemos 2 tipos, los AFD y los AFND.
introducción al tema de Autómatas Finitos entre los cuales tenemos 2 tipos, los AFD y los AFND.

More info:

Published by: Gust Alva on Jun 28, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/22/2013

pdf

text

original

 
 
UNIVERSIDAD NACIONAL DE TRUJILLO
COMPILADORES
 
Autómatas Finitos 
Gustavo Alexander Alvarez Alvar
 
UNIVERSIDAD NACIONAL DE TRUJILL
COMPILADORES
2
 
AUTÓMATAS FINITOS
1.
 
INTRODUCCIÓN:
Los autómatas son mecanismos formales para las gramáticas y lenguajes. En 1936 Turingdesarrollo lo que se puede llamar primer autómata: la “máquina de Turing”. Podríavisualizársele como un tocacintas sofisticado con una cinta arbitrariamente infinita. La cinta semarca en secciones de tal manera que en cada sección se puede almacenar un bit deinformación. La cabeza es un mecanismo que se mueve a través de la cinta con la capacidad deleer o escribir sobre está. Cuenta también con un mecanismo de control colocado en la cabezade la cinta, que informa qué acciones tomar dependiendo de la lectura de cada bit deinformación.Sus características y conducta de la máquina de Turing la calificaron como lo que se le llegó aconocer una Máquina de Estados Finitos (MEF), también se le podría concebir como unAutómata Finito (AF).Este artefacto es asombrosamente simple y asume que nuestro universo es granular; es decir,que se mueve en pasos discretos de tiempo aun cuando éstos pudieran ser imaginados tanpequeños como se quisiera, incluso en miles de millonésimas de segundo. Durante cualquierade esas instancias, un AF se encontraría en un cierto estado describible. La descripción podríaser extremadamente intrincada o sumamente simple; la única limitación consistía en quedebería encontrarse necesariamente dentro de un conjunto finito de estados posibles (Esténúmero podrá ser muy elevado, pero no infinito).Entre el instante inicial y el siguiente paso de tiempo discreto, el AF, usando cualquier tipo deinformación sensorial que cualquier máquina particular pudiera tener disponible, tomaría notadel mundo externo. Acto seguido, refiriéndose a la 'tabla de reglas' que controla la conducta, elAF consideraría tanto la información sensorial como su propio estado interno para determinartanto la conducta que la máquina debería exhibir como el estado interno que debería asumir enese instante.Turing probó que una máquina tal, la máquina universal de Turing, sería también unacomputadora universal (Se realizó una prueba matemática específica que determinó estacualidad). Esto significa que, dado el tiempo suficiente, podría emular cualquier máquina cuyaconducta fuera susceptible de ser descrita de esta suerte. Turing y su colaborador, el filósofoAlonzo Church, presentaron posteriormente la ‘Hipótesis Física Church-Turing’, dondeplanteaban que tal máquina podría duplicar no sólo las funciones de las máquinasmatemáticas, sino también las funciones de la naturaleza.Como en el campo de la lógica se comprobó que todas las computadoras digitales eran elequivalente de la máquina de Turing, se les calificó entonces como computadoras universales.
2.
 
AUTÓMATAS FINITOS:
Un autómata finito o máquina de estado finito es un modelo matemático de un sistema querecibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena perteneceal lenguaje que el autómata reconoce.En los trabajos anteriores quedó establecido, que un analizador léxico reconocía tokens,mediante un monitoreo de izquierda a derecha del programa fuente. Para hacer esta tarea
 
UNIVERSIDAD NACIONAL DE TRUJILL
COMPILADORES
3
 
menos difícil, utilizábamos las expresiones regulares para la especificación de los patrones oreglas que cumplen los tokens.Los
autómatas finitos
son las herramientas empleadas como
reconocedores de tokens.
Figura 1.
a) Análisis Léxico b) Interior del Analizador Léxico
 
Un autómata finito es capaz de reconocer un
conjunto regular 
, es decir, un conjunto decadenas denotado por cualquier expresión regular. Recordemos que una expresión regulardenota a un lenguaje regular.
Un autómata finito es un reconocedor para un lenguaje
, su programación no es una tareacompleja, su entrada es una cadena
x
y responde
“si”
si
x
es una sentencia del lenguaje,
“no”
de otra manera.
Figura 2.
Entrada y Salida de un autómata finito
 
2.1
 
CLASIFICACIÓN:
Formalmente, un autómata finito (AF) puede ser descrito como una 5-tupla
0
,,,,
QS
 
.Existen tres tipos de autómatas finitos:
A.
 
Autómata Finito Determinístico
Es un modelo matemático que consiste de:
 
Un conjunto de estados, denominado
S
.
 
Un conjunto (
alfabeto
) de símbolos de entrada, denominado
.
 
Una función de transición
move
que mapea un par
P ( s , a )
a un estado
t.
 
s
y
t
son estados contenidos en
S
,
a
es un símbolo de entrada.
 
Un estado de inicio, denotado por
s0
.
 
Un conjunto de estados de aceptación (finales), denotado por
F
.

Activity (83)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Ilan Horna Gomez liked this
Aline Alvarez liked this
Alexis Calderon liked this
Zeekyz liked this
Pedro Ortiz Chi liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->