Automatas

CONTENIDO

Introducción, 3

Objetivos, 4

 General

 Específicos

Cuestionario, 5

Conclusiones, 12

Referencias, 13

INTRODUCCIÓN

El lenguaje formal es aquel que el hombre ha desarrollado para expresar las situaciones que se dan en específico en cada área del conocimiento científico. Las palabras y oraciones de un lenguaje formal son perfectamente definidas. Con la idea de afirmar el saber en el tema mencionado, se toma el trabajo colaborativo como una estrategia de formación efectiva que nos permite asimilar de forma conjunta una serie de conocimientos que nos afianzan en las capacidades para enfrentar al exigente mercado laboral. La presentación de este trabajo involucra el desarrollo de una actividad teórico práctica relacionada con la primera unidad del curso Autómatas y Lenguajes Formales, cuya discusión se plantea mediante una serie de argumentos enfocando el trabajo hacia una formación de personas capaces de abordar una situación como equipo colaborativo. Se finaliza con una serie de conclusiones que respaldan la labor desempeñada en la realización de este aprendizaje significativo.

OBJETIVOS

GENERAL.

Realizar un trabajo colaborativo involucrando las habilidades comunicativas y la capacidad de argumentación, aceptación o refutación de tesis.

ESPECÍFICOS.

Aplicar conocimientos de las nuevas tecnologías de la información y la comunicación, para el desarrollo de un trabajo colaborativo.

Desarrollar habilidades de aprendizaje autónomo a través de un trabajo colaborativo.

Encontrar la importancia del curso como factor clave en el desarrollo y formación de un Ingeniero responsable y capaz de asumir y enfrentar retos del exigente mercado laboral.

Reconocer la importancia de los lenguajes formales en aplicaciones del diario vivir.

CUESTIONARIO

1.- De la siguiente definición formal de un Autómata:

A = ({q0, q1, q2, q3, q4}, {a, b, c}, f, q0, {q2})

f(q0, a) = q1 f(q0, b) = q4 f(q0, c) = q4

f(q1, a) = q4 f(q1, b) = q1 f(q1, c) = q2

f(q2, a) = q4 f(q2, b) = q4 f(q2, c) = q2

f(q3, a) = q4 f(q3, b) = q3 f(q3, c) = q2

f(q4, a) = q4 f(q4, b) = q4 f(q4, c) = q4

Diagrama de Moore

Tabla de transición

f a b c

q0 q1 q4 q4

q1 q4 q1 q2

q2* q4 q4 q2

q3 q4 q3 q2

q4 q4 q4 q4

Expresión regular y lenguaje que acepta el Autómata.

F =  qx V  P {q}

2.- Con base en el siguiente Diagrama de Moore:

Expresión Regular y lenguaje aceptado

A = ({q0, q1, q2, q3, q4}, {a, b, c}, f, q0, {q2})

F = {q0, q1, q2, q3, q4} × {a, b, c} → {q1, q2, q3, q4}

Tabla de transición

f a b c

q0 {q1,q4} {Q1,q3,q4} {Q2, q4}

q1 {q0} {q1} 0

q2* 0 0 {q1,q2,q3}

q3 0 {q3} 0

q4 {q1,q2,q3,q4} {q0,q4} {q0, q4}

Definición del Autómata como un conjunto de cinco elementos

 : Q × V → P (Q)

 (q, a) = {q1, q4}

 (q, b) = {q1, q3, q4}

  (q, c) = {q2, q4}

3. Especificar formalmente un Autómata que acepte únicamente todas las cadenas de ceros y unos que contienen la secuencia 01 en algún lugar de la cadena.

Diagrama de Moore

Tabla de Transición.

f 0 1

q0 q1 q2

q1 q3 q2

q2* q2,q3 q4

q3 q2 q4

q4 q0 q3

Expresión Regular y lenguaje aceptado

A = ({q0, q1, q2, q3, q4}, {a, b}, f, q0, {q2})

F = {q0, q1, q2, q3, q4} × {a, b} → {q1, q2, q3, q4}

4. Decir cuáles de las siguientes palabras

...