Hernan barboza
-
Upload
hernanbarboza -
Category
Education
-
view
8 -
download
0
Transcript of Hernan barboza
AUTOMATAS
es
Modelo matemático para una
máquina de estado finito.
la
Teoría de autómata
es
La que estudia máquinas abstractas y los
problemas que éstas son capaces de
resolver.
Lenguaje
Conjunto de palabras.
Tipos
Lenguaje formal
o artificial.
Se
relacionan
Este tipo de lenguaje atiende
a reglas previamente
establecidas, (Ej. Lenguaje
de programación).
Lenguaje natural.
Surgen de la necesidad de
comunicación existente entre
los seres humanos, (Ej. El
español, inglés, etc…).
Lenguaje sobre un
alfabeto ∑
Viene dado por todo
subconjunto de palabras
del universo asociado al
alfabeto ∑.
Se define como:
(sobre un alfabeto∑ )
Representan Expresiones
regulares E.R
Ø Es una expresión
regular que representa
al lenguaje Ø.
λ Es una expresión
regular que representa
al lenguaje {λ.
a Es una expresión
regular que representa
al lenguaje {a}.
Lenguajes regulares
Se define:
Recursivamente como el
conjunto de los lenguajes
regulares asociados a ∑.
son
De capacidad de memoria finita y
no reconocen lenguajes si no son
regulares.
representados por
conjuntos son Conjuntos regulares
Gramáticas regulares
Autómatas finitos
Es regular si solo si es
reconocido por un autómata
de estado finito
Teorema de kleene
Las reglas de las gramáticas regulares son
de la forma A→ aB o bien A→A, donde A
y B son variables, y a es un carácter
terminal. A estas gramáticas se les llama
regulares.