TEORIA DE LENGUAJES FORMALES
Página 1 de 1. Mostramos 20 registros (del 1 al 20) de un total de 20
-
Autor: RISCOS NÚÑEZ AGUSTÍNAño: 2003Universidad: SEVILLAResumenLa memoria se sitúa en el marco teórico de la Computación celular con membranas. Se trata de un modelo de computación no convencional introducido en 1998 por Gh. Paun, inspirado en el funcionami ... [Sigue]
-
Autor: SEMPERE LUNA JOSÉ M.Año: 2002Universidad: POLITECNICA DE VALENCIAResumenLa tesis que aquí se presenta trata acerca del aprendizaje de una clase de lenguajes utilizando un criterio de éxito ya formulado y la resolución de los problemas relacionados con el mismo, entre ... [Sigue]
-
Autor: LÓPEZ RODRÍGUEZ DAMIÁNAño: 2002Universidad: POLITECNICA DE VALENCIAResumenEntre las aproximaciones al aprendizaje computacional, aquella que busca obtener una representación de un lenguaje formal se conoce como inferencia gramatical. Esta aproximación es aplicable en muc ... [Sigue]
-
Autor: PÉREZ ORTIZ JUAN ANTONIOAño: 2001Universidad: ALICANTEResumenEste trabajo estudia la aplicación de distintos modelos de redes neuronales recurrentes de tiempo discreto a diversas tareas de carácter predictivo. Las redes neuronales recurrentes son redes neu ... [Sigue]
-
Autor: SOLANS GARCÍA ANA EUGENIAAño: 2001Universidad: VALENCIAResumenLa presente Tesis céntrarse en el estudio de las consecuencias que, para el análisis de las lenguas naturales, se derivan de la definición de éstas como lenguajes indicadores.Tal definición es ... [Sigue]
-
Autor: NOGUEIRA NINE JUAN BENIGNOAño: 2000Universidad: VIGOResumenLa creciente complejidad de los protocolos de comunicaciones requiere la utilización de nuevas tecnicas que permitan realizar una especificación de los mismos de una forma completa, consistente y ... [Sigue]
-
Autor: DOMINGUEZ GOMEZ MIGUEL ANGELAño: 1999Universidad: VIGOResumenHOY EN DIA EXISTE EN EL MERCADO UN GRAN NUMERO DE PROTOCOLOS EN COMUNICACIONES INDUSTRIALES, DISEÑADOS PARA SU USO EN DETERMINADOS ENTORNOS Y PROCESOS DE CONTROL DISTRIBUIDO. CADA FABRICANTE HA IMPU ... [Sigue]
-
Autor: GIL SOLLA ALBERTOAño: 1999Universidad: VIGOResumenESTA TESIS DOCTORAL SE CENTRA EN LA APLICACIÓN DE LAS TECNICAS FORMALES AL DISEÑO Y VERIFICACION DE SISTEMAS DISTRIBUIDOS, CONCRETAMENTE A LA FASE INICIAL DE CAPTURA DE LOS REQUISITOS DE USUARIO. E ... [Sigue]
-
Autor: GARCIA DUQUE JORGEAño: 2000Universidad: VIGOResumenLa tesis se enmarca dentro de la Ingenieria del Software, disciplina que tiene como objetivo proporcionar teorias, metodos y herramientas para el desarrollo de software de calidad. La aplicación de ... [Sigue]
-
Autor: ORTEGA DE LA PUENTE ALFONSOAño: 1999Universidad: AUTONOMA DE MADRIDResumenTanto los autómatas celulares como los fractales son ejemplos bien conocidos de lo que se considera sistemas complejos. Los sistemas de lindermayer son un tipo de --- que nacieron con el objetivo ... [Sigue]
-
Autor: POZA GONZALEZ FRANCISCOAño: 1997Universidad: VIGOResumenEl uso creciente de los buses de campo en la industria ha originado el desarrollo de un gran número de ellos, cada uno de los cuales está adaptado para realizar la comunicación en un determinado e ... [Sigue]
-
Autor: PAZOS ARIAS JOSE JUANAño: 1994Universidad: POLITECNICA DE MADRIDResumenEL TRABAJO DE LA TESIS ES UNA CONTRIBUCION AL DISEÑO Y DESARROLLO DE SISTEMAS CON EL LENGUAJE DE ESPECIFICACION FORMAL LOTOS. LOTOS FACILITA EL DISEÑO DE SISTEMAS MEDIANTE REFINAMIENTOS SUCESIVOS: ... [Sigue]
-
Autor: LLAMAS NISTAL MARTINAño: 1994Universidad: POLITECNICA DE MADRIDResumenLOTOS (LENGUAGE OF TEMPORAL ORDERING SPECIFICACTION) ES UNA TECNICA DE DESCRIPCION FORMAL DESARROLLADA PARA LA ESPECIFICACION FORMAL DE SISTEMAS ABIERTOS DISTRIBUIDOS. LA IDEA BASICA DE LOTOS ES QUE ... [Sigue]
-
Autor: HUECAS FERNANDEZ TORIBIO GABRIELAño: 1994Universidad: POLITECNICA DE MADRIDResumenEN EL CAMPO DE LA INGENIERIA DE PROTOCOLOS ES FUNDAMENTAL EL PAPEL QUE ESTAN TOMANDO LAS TECNICAS DE DESCRIPCION FORMAL Y EL CONCEPTO DE PRUEBAS DE CONFORMIDAD.LA PRESENTE TESIS CONTEMPLA LAS SIGUIEN ... [Sigue]
-
Autor: ALBISU APARICIO M. ASUNCIONAño: 1992Universidad: PAIS VASCO
-
Autor: RULOT SEGOVIA HECTORAño: 1991Universidad: VALENCIAResumenEN ESTE TRABAJO SE INTRODUCE UN NUEVO METODO DE INFERENCIA GRAMATICAL, EL ALGORITMO ECGI ("ERROR CORRECTING GRAMMATICAL INFERENCE ALGORITHM"). COMO TODOS LOS ALGORITMOS DE INFERENCIA GRAMATICAL, ECGI ... [Sigue]
-
Autor: SALGUERO LAMILLAR FRANCISCO JOSEAño: 1990Universidad: SEVILLAResumenEN LAS ULTIMAS DECADAS HAN PROLIFERADO LOS ESTUDIOS SEMANTICOS REFERIDOS A LOGICAS INTENSIONALES, TANTO DESDE EL PUNTO DE VISTA DE LA TEORIA DE MODELOS COMO DESDE EL DE LA FILOSOFIA DEL LENGUAJE Y EL ... [Sigue]
-
Autor: RODRIGUEZ VELA M. CAMINOAño: 1989Universidad: OVIEDOResumenEL PROBLEMA QUE MOTIVA ESTE TRABAJO ES EL DE ESTRUCTURAR LA INFORMACION CONTENIDA EN UNA BASE DE CONOCIMIENTOS MEDIANTE UN GRAFO DE HERENCIAS ASI COMO EL DESARROLLO DE ALGORITMOS QUE RESUELVAN, CON U ... [Sigue]
-
Autor: GABARRO VALLES JOAQUINAño: 1982Universidad: POLITECNICA DE CATALUÑA
-
Autor: HORTALA GONZALEZ M. TERESAAño: 1977Universidad: COMPLUTENSE DE MADRIDResumenOBTENEMOS UN TEOREMA DE PRESERVACION GENERAL PARA LAS RELACIONES DEFINIBLES EN PRIMER ORDEN ENTRE ESTRUCTURAS PARA UN LENGUAJE DE PRIMER ORDEN CON N-CLASES DE VARIABLES; PARA LO CUAL GENERALIZAMOS AL ... [Sigue]