Ecgi: un algoritmo de inferencia gramatical mediante correccion de errores
Tesis doctoral de Hector Rulot Segovia En este trabajo se introduce un nuevo metodo de inferencia gramatical, el algoritmo ecgi […]
Tesis doctoral sobre Teoría de lenguajes formales
Accede a todas las tesis doctorales sobre Teoría de lenguajes formales mas relevantes.
«arboles semanticos para logica modal con algunos resultados sobre sistemas normales»
Tesis doctoral de Salguero Lamillar Francisco Jose En las ultimas decadas han proliferado los estudios semanticos referidos a logicas intensionales,
Optimizacion de automatas finitos
Tesis doctoral de Rodriguez Vela M. Camino Datos académicos de la tesis doctoral «Optimizacion de automatas finitos« Título de
Funciones de complejidad y su relacion con las familias abstractas de lenguajes
Tesis doctoral de Joaquin Gabarro Valles Datos académicos de la tesis doctoral «Funciones de complejidad y su relacion con
Una tecnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables.
Tesis doctoral de Hortala Gonzalez M. Teresa Obtenemos un teorema de preservacion general para las relaciones definibles en primer orden
Abstract certification of java programs in rewriting logic
Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs
Sistema informático para la gestión integral del conocimiento y su representación
Tesis doctoral de Javier Alfonso Cendón Esta tesis doctoral parte del lenguaje vila_1, que es un lenguaje visual para la
Metodologías de especificacion formal aplicadas a modelos normalizados de protocolos de comunicación industriales
Tesis doctoral de Nogueira Nine Juan Benigno La creciente complejidad de los protocolos de comunicaciones requiere la utilización de nuevas
Aportacion al analisis del nivel de enlace en protocolos de comunicación para buses de campo normalizados
Tesis doctoral de Miguel Angel Domínguez Gómez Hoy en dia existe en el mercado un gran numero de protocolos en
EquiValencia entre algunos sistemas complejos. automatas celulares, sistemas de lindermayer y fractales.
Tesis doctoral de Alfonso Ortega De La Puente Tanto los autómatas celulares como los fractales son ejemplos bien conocidos de