Professional Documents
Culture Documents
No hay ningn problema, es un derecho que Uds tienen de solicitar estas revisiones acadmicas.
Al respecto le confirmo que se ha procurado y dada la temtica, evaluar de manera muy objetiva y
flexible. Es decir valorando contenidos acadmicos en los que se pueda reflejar que se han entendido
conceptos, diseos y la forma como trabajan los AF. As mismo comprender que el diseo de
autmatas y su interpretacin tiene connotaciones de aplicabilidad matemtica exactas, es decir si no
se interpretan entradas, ER, lenguajes, smbolos de manera concreta, entonces se estn diseando
mquinas con otros fines. Estos son los principios de la computacin y requieren de exactitud y de
expresiones precisas.
Otro aspecto con referencia a los aportes y desarrollos, es que no es suficiente con presentar un
volumen de desarrollos o que aseguren haber desarrollado todo si estos productos estn errados, es
decir tendrn una valoracin nula. Es como cuando ud suma 1+ 1 y como resultado le da 3. Ah no hay
nada que hacer. O si un ejercicio tiene una descripcin errada, anula todo el resultado.
Con respecto a su trabajo acadmico:
Item 1: La justificacin del No determinismo (AFND) especficamente para el ejercicio como se
solicitaba, NO con las condiciones o conceptos generales, implicaba:
El No determinismo est dado para ese AF, cuando desde un mismo estado (en este estado el estado q0
estado inicial), pueden obtenerse ms de una ruta para la construccin de cadenas, Una de ellas cuando
el cambio de estado desde q0 pasa a q1 y la otra cuando desde q0 pasando por una lambda transicin
desde q2 llega a q4. Las cadenas vacas no son condicin necesaria para que caracterice el ND en un AF.
Para su caso, en su consolidado y desarrollo, se explica el determinismo de manera general.
Item 2: Se le corrigi ese tem en la rbrica de evaluacin, ya que est bien desarrollado.
tem 3: Ud desarrollan lo siguiente:
El leguaje que Ud evidencia no corresponde al autmata,. La descripcin debe ser exacta, no ambigua ni
incompleta por que entonces estara describiendo otra mquina (AF). El lenguaje se pude denotar de
manera matemtica (como ER) o como conjunto o en texto.
Una forma matemtica vlida para ese ejercicio es:
Por ejemplo la segunda cadena (ab) s bien es cierto es aceptada por el AF, en la ER segn la jerarqua d
operadores est mal distribuida.
En ese orden de ideas, se deba empezar por: (en ese orden jerrquico) y siempre teniendo en cuenta
que siga aceptando l mismo lenguaje
1. En el nuevo diseo, eliminar cadena sy transiciones vacas
2. Procurar reducir nmero de estados o a lo sumo usar los mismos. Algunas veces el nuevo diseo
podra aumentar estados, peor eso no le quita el poder computacional a ala mquina anstracta
3. Dejar un solo estado Final
4. Por ltimo y la limitante es que sea un AFD. Para este aspecto se suelen aumentar estado finales
para dejar el AF como un AFD, pero eso era lo que no se quera en el diseo.
Concluyendo.
Se debi justificar y disear un AF con un solo estado final (no importa el nmero de estados
distinguibles), sin lambda transiciones, que no aceptara cadenas vaca, que acepta el mismo lenguaje y
justificar el por qu no se poda convertir o disear como un AFD. (Si se poda disear como un AFD pero
con ms de un estado final.) Era el trabajo de anlisis de Uds.
El diseo final se lo plasmo en la siguiente funcin de transicin que cumple las anteriores condiciones ,
en donde:
Observar que empezando la condicin bsica, esa solucin NO acepta las mismas cadenas que el AFND
propuesto inicialmente. Por ejemplo la cadena de este autmata (abbb) es aceptada. Pero esa cadena
no es aceptada en el autmata inicial.
Cordialmente.
Ing. (msc). Carlos Alberto Amaya Tarazona
Director aula