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.