Revision de Presaberes Autmatas y Lenguajes Formales

Segn el Ministerio de Educacin Nacional (http://www.mineducacion.gov.co/1621/article-87727.html) define un crdito acadmico de la siguiente forma: "Un Crdito Acadmico es la unidad que mide el tiempo estimado de actividad acadmica del estudiante en funcin de las competencias profesionales y acadmicas que se espera que el programa desarrolle. El Crdito Acadmico equivale a 48 horas totales de trabajo del estudiante, incluidas las horas acadmicas con acompaamiento docente y las dems horas que deba emplear en actividades independientes de estudio, prcticas, preparacin de exmenes u otras que sean necesarias para alcanzar las metas de aprendizaje propuestas, sin incluir las destinadas a la presentacin de exmenes finales". De lo anterior se deduce que el total de horas del curso de Autmatas y Lenguajes Formales es de: 144 La definicin de semntica tiene una connotacin importante, una de las definiciones que usted encuentra a continuacin no es la correcta. Seleccinela Son las normas o reglas que definen un lenguaje. Son la secuencia de smbolos, que forman cadenas de smbolos de un lenguaje. Relacione el tipo de Autmata de la Izquierda con los Lenguajes de la Derecha Mquina de Turing = Lenguaje Recursivamente Enumerables Lenguaje dependiente del Contexto = Autmata Linealmente Acotado Lenguaje Independiente del Contexto = Autmata con Pila Lenguaje Regular = Autmata Finito En sus funciones de un Autmata como mquina que procesa datos, el orden lgico con que realiza estas funciones es: Acepta una entrada -> cambia de estado -> produce una salida Relacione el tipo de Autmata con las actividades que realizan Autmatas aceptadores = Reciben, procesan, salidas binarias Autmatas generadores = no reciben, procesan, generan informacin Autmatas transductores = Reciben, procesan, generan informacin En la Teora de los lenguajes formales, disciplina perteneciente a la informtica, se describen tres tipos de autmatas que reconocen tipos diferentes de lenguajes, marque los tres tipos de Autmatas correctos Autmatas Finitos

Autmatas a Pila Mquinas de Turing Los autmatas finitos se utilizan generalmente para: Verificar que las cadenas pertenecen al lenguaje. Como un analizador en la traduccin de algoritmos al computador. La cinta sobre la que lee las entradas la Mquina de Turing, es infinita tanto a la izquierda como a la derecha Falso La Teora de los Autmatas y Lenguajes Formales tiene su aplicacin en variadas disciplinas, marque tres de ellas Reconocimiento de Patrones Procesadores de Lenguajes Modelado de Redes Neuronales