LENGUAJES FORMALES

Autor: TOMAS VALERO MANUEL.
Año: 1997.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: DEPARTAMENTO: COMUNICACIONES PROGRAMA DE DOCTORADO: TELECOMUNICACION.

Resumen: Esta Tesis está dedicada a analizar el problema de la construcción de las futuras infraestructuras de la Información. Este trabajo de investigación recoge las propuestas que la Unión Internacional de Telecomunicación (UIT) ha realizado en el campo de la Normalización de las Infraestructuras de la Información. En particular, este estudio presenta un análisis crítico de la Arquitectura de Referencia elaborada por la UIT para definir la funcionalidad interna de la Infraestructura Global de la Información. Adicionalmente, la tesis demuestra que la utilización de Técnicas de Descripción formal, basada en el uso de lenguajes formales, constituye un vehículo para posibilitar la aplicación del marco conceptual establecido por los Modelos Arquitectónicos de Referencia a la resolución de los problemas concretos de ingeniería que surgen ante la implantación de las citadas Infraestructuras de la Información. De esta forma, se abre una vía orientada a buscar la convergencia entre la visión de conjunto del Sector, propia de los Organismos Formales de Normalización, con la necesidad de obtener soluciones tecnológicas viables, propia de los agentes industriales.

Autor: LONGA MARTINEZ VICTOR MANUEL.
Año: 1995.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FILOLOGIA.
Centro de realización: DEPARTAMENTO: FILOLOXIA ESPAÑOLA, TEORIA DA LITERATURA E LINGUISTICA XERAL PROGRAMA DE DOCTORADO: TEORIA GRAMATICAL E GRAMATICA DO ESPAÑOL.

Resumen: EN LA TESIS REFERIDA SE ANALIZAN LAS PRINCIPALES DIVERGENCIAS SUCEDIDAS A LO LARGO DEL DEVENIR DE LA GRAMATICA GENERATIVA TRANSFORMACIONAL, EN UN DOBLE SENTIDO: QUE HA MOTIVADO LA SUCESIVA FORMULACION DE LOS DIFERENTES ESTADIOS (PASO DE REGLAS A PRINCIPIOS, DE DERIVACIONES A REPRESENTACIONES, DE LA CONSTITUCION A LA DEPENDENCIA, ANALISIS DEL FORMALISMO DE LOS DIFERENTES MODELOS, ETC), Y LA DEFENSA DE LA EVOLUCION UNITARIA, INSCRITA EN UNA MISMA LINEA, DE LOS MODELOS. ES PRECISAMENTE LA RESTRICCION EN LOS MECANISMOS GRAMATICALES LA QUE DA CUENTA DE LA NO RUPTURA EN TAL EVOLUCION. ESTA LINEA DE INVESTIGACION SE HA DESARROLLADO PARA ADECUAR LOS MECANISMOS, DEMASIADO RESTRICTOS, CON LAS EXIGENCIAS DE UNA TEORIA QUE BUSCABA LA ADECUACION EXPLICATIVA (ESTO ES, UNA TEORIA MUY RESTRICTA DE LA ADQUISICION QUE PUDIERA DAR CUENTA DE LA GRAN RAPIDEZ CON LA QUE UN NIÑO ADQUIERE EL LENGUAJE). COMO UNO DE LOS ASPECTOS MAS DESTACADOS, EN LA TESIS SE CUESTIONA LA EXISTENCIA DE LO QUE SE HA DENOMINADO "SEGUNDO CAMBIO CONCEPTUAL", DEFENDIENDO QUE ESTE SE PRODUCE EN CUANTO A LOS RESULTADOS DEL FORMALISMO, PERO NO ATENDIENDO AL PROPIO FORMALISMO.

Autor: CASARES GALLEGO RAMON M..
Año: 1992.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: SISTEMAS COMPLEJOS DE LA INGENIERIA TELEMATICA.

Resumen: EL PROPOSITO DE LA TESIS ES DEFINIR EL TERMINO APRENDIZAJE CON LA PRECISION SUFICIENTE PARA QUE PUEDA SER UTILIZADO CON PROVECHO EN LA INGENIERIA. A TAL FIN SE PROPONE DEFINIR AL APRENDIZ COMO AQUELLA DEL PROBLEMA DE LA SUPERVIVENCIA QUE ES CAPAZ DE ELABORAR MODELOS, SIENDO EL PROBLEMA DE LA SUPERVIVENCIA UN PROBLEMA APARENTE, O EN APARIENCIAS, SOBRE LAS QUE ESTA DEFINIDO UN LENGUAJE MINIMO. PARA HACER OPERATIVA LA ANTERIOR DEFINICION DE APRENDIZAJE, SE DEFINEN CON PRECISION LOS TERMINOS CONTENIDOS EN ELLA. LA TESIS, ADEMAS, EXPLORA TODOS ESTOS NUEVOS CONCEPTOS DE TRES MANERAS: I) AJUSTANDO LOS CONCEPTOS CLASICOS AL NUEVO ESQUEMA; O SEA, INTEGRANDO LA TEORIA DE LOS AUTOMATAS, EL ALGEBRA DE BOOLE, LAS CADENAS DE MARKOV Y LAS MAQUINAS DE TURING EN EL ALGEBRA AUTOMATICA, E INTERPRETANDO LA CIBERNETICA, LA TEORIA DEL CONTROL, LA INTELIGENCIA ARTIFICIAL Y LAS REDES DE NEURONAS DESDE LA TEORIA DEL APRENDIZAJE; II) SIMULANDO, EN UN COMPUTADOR, EL COMPORTAMIENTO DE UN APRENDIZ AL ENFRENTARSE A DISTINTOS PROBLEMAS DE LA SUPERVIVENCIA, PARA LO QUE SE HAN DESARROLLADO UNOS PROGRAMAS QUE TRADUCEN EL ALGEBRA AUTOMATICA Y OTROS QUE IMPLEMENTAN UN APRENDIZ SIMPLE; III) ESTUDIANDO LOS PRESUPUESTOS METAFISICOS EN LOS QUE SE FUNDAMENTA LA TEORIA DEL APRENDIZAJE PROPUESTA, Y LAS CONSECUENCIAS FILOSOFICAS QUE ACARREA.

Autor: CORREDOR LANAS CRISTINA.
Año: 1990.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: FILOSOFIA Y LETRAS.
Centro de realización: DEPARTAMENTO: LINGUISTICA, LENGUAS MODERNAS, LOGICA Y FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA Y FILOSOFIA DE LA CIENCIA.

Resumen: LA TESIS CONSISTE EN UNA PRESENTACION SISTEMATIZADA DEL LEMA DE INTERPOLACION, ANALIZANDO LOS RASGOS SINTACTICOS Y SEMANTICOS QUE DETERMINAN SU SATISFACCION. SU FALLO EN UNA SERIE DE LOGICAS: LOGICA CLASICA, MODAL, RELEVANTE, DE SEGUNDO ORDEN, INTUICIONISTA. SE PRESENTA FINALMENTE ,COMO RESULTADO ORIGINAL, UNA PRUEBA Y ANALISIS DEL FALLO DE ESTE LEMA EN SISTEMAS INTERMEDIOS DE M. MANZANO (2 ORDEN NO-ESTANDAR).

Autor: GIL LUEZAS ANA.
Año: 1989.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE MATEMATICAS DE LA UNIVERSIDAD COMPLUTENSE DE MADRID.

Resumen: SON PRESENTADOS ALGUNOS LENGUAJES FORMALES PARA EL ESTUDIO DE LOS PROGRAMAS FUNCIONALES. EL LENGUAJE MAS AMPLIAMENTE TRATADO ES EL LRF, ESTE LENGUAJE CONSTA DE EXPRESIONES FUNCIONALES, QUE REPRESENTAN A LOS PROGRAMAS FUNCIONALES, Y DE FORMULAS, LAS CUALES PERMITEN RAZONAR SOBRE EL COMPORTAMIENTO DE LOS PROGRAMAS. SE DEMUESTRA QUE VARIAS LOGICAS DE PROGRAMAS YA CONOCIDAS, COMO EL CALCULO PROPORCIONAL DE KOZEN Y LA LOGICA DE PRIMER ORDEN DINAMICA, SON EXPRESABLES EN LRF. SE DEMUESTRA TAMBIEN QUE LRF ES UN FRAGMENTO DEL LENGUAJE INFINITARIO LWUW. FINALMENTE, SE OBTIENEN TEOREMAS DE CORRECCION Y COMPLEJITUD PARA ESTE LENGUAJE. EN LA SEGUNDA PARTE DEL TRABAJO SE INTRODUCE UN LENGUAJE NO ESTANDARD ADMISIBLE PARA PROGRAMAS FUNCIONALES, AL QUE SE LE LLAMA ALRF. SE DEMUESTRA QUE ESTE LENGUAJE ADMITE UN CALCULO CORRECTO Y COMPLETO, Y ORIENTADO A LA SINTAXIS, TOMANDO COMO REFERENCIA A LA CLASE DE LOS MODELOS ADMISIBLES. SE MUESTRA ADEMAS QUE ES POSIBLE EXPRESAR EN ALRF LA TERMINACION DE PROGRAMAS NO TRIUJALES, CONTRARIAMENTE A LO QUE SUCEDE CON EL LENGUAJE LRF.

Autor: BARBA ESCRIBA JUAN.
Año: 1988.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: FILOSOFIA Y LETRAS.
Centro de realización: DEPARTAMENTO DE LINGUISTICA, LENGUAS MODERNAS LOGICA Y FILOSOFIA DE LA CIENCIA - V.A.M..