AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO 2

AUTOMATAS Y LENGUAJES FORMALES

EULSES OSORIO PEREZ COD. 7701376

ALEXANDER VALDERRAMA COD.

GRUPO

301405_6

TUTOR

CARLOS ALBERTO AMAYA TARAZONA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA INGENIERIA DE SISTEMAS

2012

INTRODUCCIÓN

Mediante el desarrollo del trabajo colaborativo de la unidad 2 del curso de Autómatas y Lenguajes Formales pretendemos poner en práctica los conceptos básicos aprendidos hasta el momento acerca de los lenguajes independientes del contexto, sus conceptos generales, sus propiedades y su relación con los autómatas a pila.

También es importante complementar la solución de los ejercicios de la actividad a través del uso de herramientas computacionales de simulación, empleando los conceptos aprendidos en nuestros estudios de las diversas ramas de la Ingeniería en nuestra Universidad.

Para ello, se pretende resolver lo solicitado en la guía de la actividad mediante el trabajo individual y colaborativo de los miembros del grupo No. 6 a través de la Plataforma Virtual del curso buscando fomentar la investigación, el trabajo en equipo, el dialogo y la concentración como pilares fundamentales de la filosofía Unadista.

OBJETIVOS

• Conocer los modelos de computación que corresponden a los lenguajes independientes del contexto y su aplicación.

• Generalizar los conceptos de autómatas finitos y gramáticos regulares.

• Reconocer el potencial de procesamiento del lenguaje del autómata con los

Autómatas de pila.

• Desarrollar las competencias comunicativas con sus compañeros de grupo al realizar un trabajo colaborativo concertado bajado en la investigación individual y un dialogo grupal respetuoso y constructivo.

• Afianzar las competencias argumentativas al exponer la resolución de un problema utilizando los conceptos del modulo.

1. Calcula

Leer Ensayo Completo

Suscríbase

r el autómata mínimo correspondiente al siguiente autómata finito determinista.

1. Identifique los componentes del autómata (que tipo de tupla es)

Es un autómata finito deterministico porque desde cualquiera de sus estados sale una sola letra o un solo símbolo para otro estado y se determina con exactitud cual es su llegada.

El autómata está definido por la siguiente quíntupla

:A = (Q, Σ, f, q, F) donde:

• Q es un conjunto de estados.

• Σ es el alfabeto de entrada

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

• q0 ∈

...