Automatas

1. Defina y de un ejemplo claro de: (No se aceptan ejemplos tomados del módulo, de textos guías, o de consultas bibliográficas de la Biblioteca Virtual UNAD). Son ejemplos creados con objetividad por Uds los estudiantes.

Símbolo es una entidad abstracta, que no se va a definir. Normalmente los símbolos son letras (a,b,c,…z), dígitos (0,1,2…9) y otros caracteres (+,*,/,-,?...).

Un símbolo también puede estar formado por varias letras o caracteres, como las palabras reservadas de un lenguaje de programación son símbolos de dicho lenguaje.

Ejemplo:

- a,b,c,#,+,-,*, then, begin, end, else, …

Un alfabeto es el conjunto de caracteres o símbolos que se utilizan en un lenguaje. A estos símbolos les llamaremos Variables terminales o simplemente terminales.

Ejemplo

.-Denota al alfabeto

Un Lenguaje es un conjunto de cuerdas formadas concatenando terminales de manera que es un subconjunto de la cerradura de alfabeto bajo la operación de concatenación.

Ejemplo

Si se utiliza como expresión regular que denota al Lenguaje que consta de solamente la cadena de un solo símbolo (precísamente ) entonces el autómata que reconoce ese lenguage es el que se muestra aquí:

Las expresiones regulares son un método por medio del cual se pueden realizar búsquedas dentro de cadenas de caracteres. Sin importar si la búsqueda requerida es de dos caracteres en una cadena de 10 o si es necesario encontrar todas las apariciones de un patrón definido de caracteres en un archivo de millones de caracteres, las expresiones regulares proporcionan una solución para el problema. Adicionalmente, un uso derivado de la búsqueda de patrones es la validación de un formato específico en una cadena de caracteres dada, como por ejemplo fechas o identificadores.

Ejemplo

El Punto "."

La barra inversa o contrabarra ""

2. Partiendo de la definición de que un Autómata Finito Determinístico (AFD) está

dado por la quíntupla: A = (Q, ∑, f, q

0

, F) donde:

• Q es un conjunto de estados.

• ∑ es el alfabeto de entrada

• f: Q X ∑ → Q es la función (total) de transición.

• q

0

∈

...