Se deberán acreditar todas las unidades del programa. No se promedia. Los extraordinarios son de manera individual. Se deberá acreditar al menos dos unidades para tener derecho a extraordinario.
Las nivelaciones serán el día Miércoles 19 a las 17:00 hrs en el aula K6. Sólo se tendrá un máximo de una hora por unidad o 2 horas para dos o. Los exámenes prácticos podrán ser sustituidos por un programa por unidad. Las alternativas de programas de unidad son los siguientes.
UNIDAD I
1. Programa que dado un archivo de entrada en donde se tenga un conjunto de 2 alfabetos y 2 Lenguajes permita realizar las operaciones básicas sobre ellos (unión, diferencia, intersección). Las operaciones son alfabeto-alfabeto y lenguaje-lenguaje.
2. Programa realizado en J2ME o .NET CF que permita realizar las operaciones básicas sobre dos cadenas (concatenacion, inversa, prefijo y sufijos)
3. Programa que permita reconocer el lenguaje L = a*b+ en alguno de los siguientes lenguajes: Perl, Phyton, Ruby, PHP.
UNIDAD II
1. Programa que dado un archivo en el que se tienen las funciones de transición de un autómata finito, los estados, el estado incial y estados de aceptación permita reconocer cualquier lenguaje.
2. Programación del algoritmo para transformar un AFN-e a un AFN
3. Programación del algoritmo para transformar un AFN a un AFD
4. Programación del algoritmo para encontrar el autómata mínimo equivalente de un AFD.
UNIDAD III
1. Programa que dado una expresión regular sencilla permita obtener la gramática que lo representa.
2. Programa que dada una gramática cualquiera pueda obtener la expresión regular que genera.
3. Programa que dada una gramática permita depurarla, quitándole alguna anomalía.
4. Programa que dada una gramática permita normalizar la gramática en forma normal de Chomsky
5. Programa que dada una cadena y una gramática en FNCh permita deducir si es válida o no aplicando el algoritmo CYK
UNIDAD IV
1. Programa que dado una gramática independiente del contexto permita encontrar su Autómata de Pila
2. Programa que dado un autómata de pila permita encontrar su GIC.
3. Programa en J2ME o .NET Compact Framework que represnete una máquina de turing multicelda que suma dos número en binarios.
En caso de optar por realizar un trabajo, los programas deberán ser entregados a mas tardar el martes 19 de diciembre del 2006.