TC Automatas TRABAJO COLABORATIVO No1.

TRABAJO COLABORATIVO No1.

Xxxxxxxxxxx xxxxxxxxx xxxxxxxxxxxx xxxx

Código: ++++++++++**

Tutor:
Ing. ***+++*+++

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA- UNAD

                INGENIERIA DE SISTEMAS

CEAD JOSE ACEVEDO Y GOMEZ - BOGOTA, D.C

M*** DE 201*

INTRODUCCION

OBJETIVOS

EJERCICIOS A DESARROLLAR

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.

SIMBOLO: Es un dato que tiene algún significado o efecto en la máquina. A estos símbolos también se les llama "letras" o "átomos"

Ejemplo:

{if, end, endif, while, *, / #}        Caracteres o sentencias de programación.

ALFABETO: Es un conjunto no vacio de símbolos.

Ejemplo:

{a,e,i,o,u}                Vocales

{0,1}                        Código Binario

LENGUAJE: Conjunto de palabras, también llamadas sentencias o cadenas, formadas por símbolos de un alfabeto

Ejemplo:

{alt64, alt123,alt125} Código ASCII

EXPRESION REGULAR: Es una expresión que describe un conjunto de cadenas sin enumerar sus elementos, representan lenguajes regulares y su propósito es simplificar la escritura de los lenguajes regulares.

Ejemplo:

Aleja

ndra

Alejandra ….                 Representa la concatenación de Aleja y ndra

Aleja U ndra                 Representa la Unión

Aleja*                 Representa la clausura de Kleene del lenguaje representado por Aleja

1. Partiendo de la definición de que un Autómata Finito Determinístico (AFD) está dado por la quíntupla: A = (Q, Σ, f, q, 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.

• qo  ∈  Q es el estado inicial.

• F ⊆ Q es el conjunto de estados finales.

y que para el ejercicio, el autómata acepta las cadenas (01) n 1) ,

A = ({q0, q1, q2, q3}, {0,1} , f , q0, { q2})

Representado mediante el grafo:

[pic 2]

EN UN SIMULADOR (YA SEA JFLAP O VAS)

• Plásmelo en el simulador

• Realice la tabla de transición correspondiente.

• Compruebe el lenguaje aceptado

1. Acorde al autómata del ejercicio N 2, explique o justifique de donde proviene el nombre “finito”. (Sea objetivo y creativo). No copie contextos puntuales de los libros o de la web.

El texto Finito significa que tiene fin. En otras palabras y según el grafico anterior el autómata del punto dos tiene su inicio en q0 y tiene su fin en q3.

1. Acorde al siguiente diagrama de Moore:

[pic 3]

Cuáles de las siguientes expresiones representa:

Justifique su respuesta, incluso para las expresiones que no representa.

1. Expresión regular (q|q1)*
2. Expresión regular (ac|b)*
3. Expresión regular (bb|ab)*
4. Expresión regular (ac|b|b)*

Justificación: La expresión es (ac/b)* porque dada una expresión regular existe un autómata finito capaz de reconocer el lenguaje que esta define. Está definido dentro de las equivalencias entre las expresiones regulares básicas y sus autómatas finitos.

...