Las gramáticas de atributos, desde que fueron propuestas por Knuth en 1966, se han utilizado ampliamente para el desarrollo de herramientas de procesamiento de lenguajes formales como compiladores e intérpretes de lenguajes de programa-ción; como también para especificar la semántica de lenguajes. Las gramáticas de atributos son un formalismo simple para la especificación de la semántica de lenguajes formales, como ser lenguajes de programación o de especifi-cación. Integran la modularidad que brindan las gramáticas libres de contexto y la expresividad de un lenguaje funcional. Si bien las gramáticas de atributos han sido ampliamente estu-diadas no es fácil encontrar definiciones precisas y rigurosas. Los principales motivos del desarrollo de esta tesis son en primer lugar, obtener un material autocontenido sobre sus defi-niciones, extensiones, implementación y aplicaciones, ya que prácticamente no existen libros actualizados en el tema. En segundo lugar, se realiza un estudio profundo sobre nuevas clasificaciones propuestas y métodos de evaluación. En este último aspecto es donde se presentan los aportes más signifi-cativos de esta tesis. En este trabajo se presentan las gramá-ticas de atributos en su forma clásica, mostrando definiciones más precisas que las que se pueden encontrar en la bibliografía tradicional. Se describen diferentes clasificaciones y métodos de evaluación secuenciales y concurrentes. Entre los principa-les aportes de este trabajo, se propone un algorimo eficiente de evaluación dinámica bajo demanda, que puede aplicarse para la evaluación de cualquier gramática de atributos bien definida (no circular). Este algorimo se ha implementado en la herramienta agcc, la cual ha sido desarrollada en el marco de este trabajo. Se analiza una nueva clasificación, la jerarquía NC, propuesta por Wuu Yang en 1999 y se relaciona con la clasificación tradicional. Se describe NCeval, una herramienta desarrollada en el marco de esta tesis, la cual genera evalua-dores estáticos para la familia NC(1). Un evaluador generado por NCEval realiza la evaluación disparando procesos o tareas concurrentes que no requieren sincronización, ya que operan sobre conjuntos independientes de instancias de atributos. El método de particionado usado en NCEval está basado en las dependencias y se demuestra que la partición inducida sobre el conjunto de atributos es la mas fina posible. Hasta el momento, no se conocen herramientas que utilicen este enfo-que. Finalmente se describe agcc (Attribute Grammars Compiler Compiler), herramienta desarrollada en el marco de esta tesis, la cual tiene un diseño totalmente modular per-mitiendo su extensibilidad tanto en los generadores de código como en los métodos de evaluación utilizados. Acepta la familia más amplia de gramáticas de atributos para las cuales pueden generarse evaluadores estáticos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Esta pesquisa traçou como objetivo a análise das gramáticas emocionais elaboradas nas experiências das participantes do grupo Mulheres que Amam Demais Anônimas (MADA). A metodologia usada foi a etnografia. MADA é um grupo de ajuda mútua para mulheres viciadas em relacionamentos destrutivos, sendo sua droga o amor excessivo. Observaremos as condições que possibilitaram considerar este sentimento como doentio, tais como a quebra no ideal estético do amor, aspecto relacionado com a ruptura da dádiva, em outras palavras, elas amam demais e não são correspondidas na mesma medida. Como forma de solução deste impasse o grupo propõe então uma série de práticas que interpretamos como uma economia dos vínculos sociais, em que há uma racionalização do sentimento amoroso. / Esta investigación se trazó como objetivo analizar las gramáticas emocionales elaboradas en las experiencias de las participantes del grupo Mujeres que Aman Demasiado Anónimas (MADA). La metodología usada fue la etnografía. MADA es un grupo de ayuda mutua para mujeres viciadas en relaciones destructivas e su droga es el amor. Observaremos las condiciones que posibilitaron considerar este sentimiento como enfermizo, tales como la ruptura no ideal estético do amor, aspecto relacionado con la ruptura da dádiva, en otras palabras, ellas aman demasiado y no son correspondidas en la misma medida. Como forma de solución de este problema o grupo propone entonces una serie de prácticas que interpretamos como una economía dos vínculos sociales, en que hay una racionalizacion del sentimiento amoroso.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Esta pesquisa traçou como objetivo a análise das gramáticas emocionais elaboradas nas experiências das participantes do grupo Mulheres que Amam Demais Anônimas (MADA). A metodologia usada foi a etnografia. MADA é um grupo de ajuda mútua para mulheres viciadas em relacionamentos destrutivos, sendo sua droga o amor excessivo. Observaremos as condições que possibilitaram considerar este sentimento como doentio, tais como a quebra no ideal estético do amor, aspecto relacionado com a ruptura da dádiva, em outras palavras, elas amam demais e não são correspondidas na mesma medida. Como forma de solução deste impasse o grupo propõe então uma série de práticas que interpretamos como uma economia dos vínculos sociais, em que há uma racionalização do sentimento amoroso. / Esta investigación se trazó como objetivo analizar las gramáticas emocionales elaboradas en las experiencias de las participantes del grupo Mujeres que Aman Demasiado Anónimas (MADA). La metodología usada fue la etnografía. MADA es un grupo de ayuda mutua para mujeres viciadas en relaciones destructivas e su droga es el amor. Observaremos las condiciones que posibilitaron considerar este sentimiento como enfermizo, tales como la ruptura no ideal estético do amor, aspecto relacionado con la ruptura da dádiva, en otras palabras, ellas aman demasiado y no son correspondidas en la misma medida. Como forma de solución de este problema o grupo propone entonces una serie de prácticas que interpretamos como una economía dos vínculos sociales, en que hay una racionalizacion del sentimiento amoroso.

A presente pesquisa explora areas de Processamento de Linguagem Natural (PLN), tais como, analisadores, gramaticas e ontologias no desenvolvimento de um modelo para o mapeamento de consulta em lingua portuguesa controlada para consultas SPARQL. O SPARQL e uma linguagem de consulta capaz de recuperar e manipular dados armazenados em RDF, que e a base para a construcao de Ontologias. Este projeto pretende investigar utilizacao das tecnicas supracitadas na mitigacao do problema de consulta a Ontologias utilizando linguagem natural controlada. A principal motivacao para o desenvolvimento deste trabalho e pesquisar tecnicas e modelos que possam proporcionar uma melhor interacao do homem com o computador. Facilidade na interacao homem-computador e convergida em produtividade, eficiencia, comodidade dentre outros beneficios implicitos. Nos nos concentramos em medir a eficiencia do modelo proposto e procurar uma boa combinacao entre todas as tecnicas em questao. / This research explores areas of Natural Language Processing (NLP), such as parsers, grammars and ontologies in the development of a model for mapping queries in controlled Portuguese into SPARQL queries. The SPARQL query language allows for manipulation and retrieval of data stored as RDF, which forms the basis for building ontologies. This project aims to investigate the use of the above techniques to help curb the problem of querying ontologies using controlled natural language. The main motivation for the development of this work is to research techniques and models that could provide a better interaction between man and computer. Ease in human-computer interaction is converted into productivity, efficiency, convenience, among other implicit benefits. We focus on measuring the effectiveness of the proposed model and look for a good combination of all the techniques in question.

En la etapa post-independista (hispano)americana, momento en que comienzan a gestarse las naciones principalmente bajo el modelo republicano francés y estadounidense, emergen los primeros embates al latín y a su uso en el ámbito pedagógico. En este marco de profundos cambios, la cuestión educativa –como instrumento cívico– se convierte en un asunto estatal y los estudios clásicos, en particular de la lengua y la literatura latina, se resignifican en el marco de complejos enfrentamientos políticos e ideológicos. A lo largo de los distintos períodos históricos que se suceden en la construcción de las Estados-nación durante el siglo XIX en (Hispano)américa, la cultura clásica se perfila como un referente con el cual se establece una dinámica selectiva e intencionada, que oscila entre la persistencia y el cambio, en el proceso de configuración de una tradición cultural y discursiva. Asimismo, los grupos políticos y letrados a cargo de la organización del Estado sostuvieron, en el marco de un orden político y económico liberal, un sistema educativo secundario, que tuvo como función básica la formación de los individuos de la futura élite dirigente que accederían a una carrera universitaria y, desde esta plataforma, a cargos políticos y administrativos. En tal sentido, la producción de manuales escolares, y de gramáticas latinas en particular, como así también la inscripción en una tradición selectiva de cuño clásico, se encuentran sobredeterminadas por el valor simbólico que el latín comporta en el imaginario de los grupos letrados de la comunidad imaginada.

A presente pesquisa explora areas de Processamento de Linguagem Natural (PLN), tais como, analisadores, gramaticas e ontologias no desenvolvimento de um modelo para o mapeamento de consulta em lingua portuguesa controlada para consultas SPARQL. O SPARQL e uma linguagem de consulta capaz de recuperar e manipular dados armazenados em RDF, que e a base para a construcao de Ontologias. Este projeto pretende investigar utilizacao das tecnicas supracitadas na mitigacao do problema de consulta a Ontologias utilizando linguagem natural controlada. A principal motivacao para o desenvolvimento deste trabalho e pesquisar tecnicas e modelos que possam proporcionar uma melhor interacao do homem com o computador. Facilidade na interacao homem-computador e convergida em produtividade, eficiencia, comodidade dentre outros beneficios implicitos. Nos nos concentramos em medir a eficiencia do modelo proposto e procurar uma boa combinacao entre todas as tecnicas em questao. / This research explores areas of Natural Language Processing (NLP), such as parsers, grammars and ontologies in the development of a model for mapping queries in controlled Portuguese into SPARQL queries. The SPARQL query language allows for manipulation and retrieval of data stored as RDF, which forms the basis for building ontologies. This project aims to investigate the use of the above techniques to help curb the problem of querying ontologies using controlled natural language. The main motivation for the development of this work is to research techniques and models that could provide a better interaction between man and computer. Ease in human-computer interaction is converted into productivity, efficiency, convenience, among other implicit benefits. We focus on measuring the effectiveness of the proposed model and look for a good combination of all the techniques in question.

Submitted by Haroudo Xavier Filho (haroudo.xavierfo@ufpe.br) on 2016-03-03T19:23:06Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE - Francisco Eduardo Vieira da Silva.pdf: 4405768 bytes, checksum: 385440802182d9e4d4b5f3926886e2fb (MD5) / Made available in DSpace on 2016-03-03T19:23:07Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE - Francisco Eduardo Vieira da Silva.pdf: 4405768 bytes, checksum: 385440802182d9e4d4b5f3926886e2fb (MD5) Previous issue date: 2015-05-08 / Esta tese analisa as gramáticas brasileiras contemporâneas do português (GBCP), em particular Azeredo (2008), Perini (2010) e Bagno (2012). O trabalho se situa no campo da Linguística Aplicada, entendida como prática social, reflexiva, crítica e indisciplinar (MOITA LOPES, 2008b; ROJO, 2008). Parte-se da defesa de que: o paradigma tradicional de gramatização (PTG) é o modelo responsável por nortear, há mais de dois mil anos, a elaboração de gramáticas no Ocidente; o novo conjunto de compromissos dos estudos linguísticos brasileiros com a gramatização de nossa língua ocasiona deslizes ou mesmo rupturas epistemológicas com esse paradigma. Diante disso, o objetivo geral da pesquisa consiste em caracterizar essa recente transição de paradigmas encabeçada pelas GBCP, em se tratando das linhas de continuidade e dos movimentos de ruptura envolvidos. A fim de construir e caracterizar a noção de PTG no contexto da historiografia linguístico-gramatical, é feito um apanhado histórico sobre as primeiras reflexões na cultura ocidental acerca da gramática, o consequente surgimento da doutrina gramatical greco-romana na Antiguidade e o processo de gramatização dos vernáculos europeus modernos no Renascimento. Já com o propósito de entender como se instituiu, como se desenvolveu e no que resultou o PTG no contexto luso-brasileiro, resgata-se a história das gramáticas do português de natureza prescritivo-normativa, produzidas em Portugal desde o século XVI e no Brasil a partir do século XIX, e reflete-se sobre a noção de “norma-padrão” como consequência da gramatização tradicional. Quatro categorias de análise dão o norte da investigação das GBCP: (a) demandas e propósitos sociais; (b) concepções teóricas e configurações metodológicas; (c) arcabouço descritivo, categorial e conceitual; e (d) língua gramatizada. Os resultados atestam que as GBCP oscilam entre movimentos de ruptura e linhas de continuidade no tangente às quatro categorias. Essas obras, cada uma a seu modo: atentam-se a outras funções sociais, diferentes dos propósitos genéricos das gramáticas tradicionais; deslocam-se do que socialmente se costuma esperar de um livro de gramática; reconhecem a insuficiência teóricometodológica da doutrina gramatical, mas não apresentam um paradigma que a substitua; apresentam tanto pontos de subversão descritiva em relação à tradição gramatical lusobrasileira, quanto continuidade terminológico-conceitual com o PTG, a despeito de teorias linguísticas e novos critérios de categorização delineados; avançam a caminho do reconhecimento, da valorização e da legitimação de aspectos genuinamente brasileiros nos nossos usos comuns falados e escritos, embora efetuem um recorte na língua, a fim de gramatizá-la e, consequentemente, homogeneizá-la, tal qual a construção de qualquer normapadrão. Em suma, as GBCP não correspondem exatamente a um novo paradigma de gramatização em vigor, mas sim ao esgarçamento do PTG e ao surgimento de novas frentes de gramatização ainda embrionárias, que buscam atender, na medida do possível, às demandas da virada linguística. Deve-se frisar que os pontos fortes e fracos dessas novas gramáticas nem sempre correspondem, respectivamente, aos seus conjuntos de rupturas e continuidades. / Esta tesis analiza las gramáticas brasileñas contemporáneas del portugués (GBCP), en particular Azeredo (2008), Perini (2010) e Bagno (2012). La investigación abarca la Lingüística Aplicada, comprendida como práctica social, reflexiva, crítica e indisciplinar (MOITA LOPES, 2008b; ROJO, 2008). Se parte de la defensa de que: el paradigma tradicional de gramatización (PTG) es el tipo responsable por guiar, hace más de dos mil años, la elaboración de gramáticas en el Occidente; el nuevo conjunto de compromisos de los estudios lingüísticos brasileños con la gramatización de nuestra lengua causa deslices o hasta mismo rupturas epistemológicas con ese paradigma. Delante de eso, el objetivo general de la investigación es caracterizar esa reciente transición de paradigmas empezadas por las GBCP, en lo que trata de las líneas de continuidad y de los movimientos de ruptura envueltos. Con la finalidad de construir y caracterizar la noción de PTG en el contexto de la historiografía lingüístico-gramatical, es concebida una búsqueda histórica acerca de las primeras reflexiones en la cultura occidental sobre la gramática, el consecuente aparecimiento de la doctrina gramatical greco-romana en la Antigüedad y el proceso de gramatización de los vernáculos europeos modernos en el Renacimiento. Ya con el propósito de comprender como se estableció, como se desarrolló y en el que resultó el PTG en el contexto luso-brasileño, se examina la historia de las gramáticas del portugués de tipo prescriptivo-normativo, producidas en Portugal desde el siglo XVI y en Brasil a partir del siglo XIX, y reflejase acerca de la noción de “norma estándar” como consecuencia de la gramatización tradicional. Cuatro categorías de análisis guían la investigación de las GBCP: (a) demandas y propósitos sociales; (b) concepciones teóricas y configuraciones metodológicas; (c) estructura descriptiva, categorial y conceptual; y (d) lengua gramatizada. Los resultados exhiben que las GBCP oscilan entre movimientos de ruptura y líneas de continuidad en relación a las cuatro categorías. Esas obras, cada una a su manera: atentan otras funciones sociales, diferentemente de los propósitos generales de las gramáticas tradicionales; se alejan de lo que socialmente se suele esperar de un libro de gramática; reconocen la insuficiencia teórico-metodológica de la doctrina gramatical, pero no presentan un paradigma que la sustituya; presentan tanto puntos de subversión descriptiva en relación a la tradición gramatical luso-brasileña, cuanto continuidad terminológico-conceptual con el PTG, a despecho de teorías lingüísticas y nuevos criterios de categorización delineados; avanzan al camino del reconocimiento, de la valorización y de la legitimación de los aspectos auténticamente brasileños en los nuestros usos comunes hablados y escritos, aunque hagan un recorte en la lengua, para gramatizarla y, consecuentemente, homogeneizarla, tal cual la construcción de cualquier norma estándar. En resumen, las GBCP no corresponden exactamente a un nuevo paradigma de gramatización en vigor, pero a una deshilachación del PTG y al surgimiento de nuevas frentes de gramatización aún embrionarias, que buscan atender, en la medida de lo posible, a las demandas de la virada lingüística. Se debe destacar que los puntos fuertes y flojos de esas nuevas gramáticas ni siempre corresponden, respectivamente, a sus conjuntos de rupturas y continuidades.

Este trabalho descreve o formalismo das gramáticas livres de contexto adaptativas com verificação de aparência. Esses dispositivos gramaticais possuem como núcleo uma gramática livre de contexto subjacente e, como mecanismo de auto-modificação, uma ou várias funções adaptativas que determinam quais produções são aplicáveis em cada passo de uma derivação. A verificação de aparência se refere a uma forma especial de aplicar algumas produções, escolhidas pelo projetista da gramática, sem alterar a forma sentencial nessa aplicação. É provado que esse formalismo tem poder de máquina de Turing demonstrando, em forma construtiva, sua equivalência com quatro formalismos gramaticais baseados em gramáticas livres de contexto com mecanismos de controle, que tem esse poder. São desenvolvidos dois analisadorers para linguagens dependentes de contexto a partir de um desses outros quatro formalismos. Um deles, que é baseado em autômatos-pilha, opera em forma ascendente; o outro, baseado em autômatos finitos adaptativos, opera em forma descendente. / This work introduces and describes the formalism of the context-free adaptive grammar with appearance checking. Such gramatical devices have as its kernel a subjacent context-free grammar and, as mechanism of self-modification, one or several adaptive functions which determines the productions able to be applied at each step of a derivation. The appearance checking refers to a special way to apply some productions, choosen by the designer of the grammar, without changing the sentential form in this application. It is proved that this formalism has Turing Machine power, proving, by construction, its equivalence with four grammatical formalisms based on context-free grammars and with control mechanisms, with such power. Two parsers have been developed for context-dependent languages from one of these four formalisms. One of them is based on stack-automata, and operates in a bottom-up fashion.

Este trabalho descreve o formalismo das gramáticas livres de contexto adaptativas com verificação de aparência. Esses dispositivos gramaticais possuem como núcleo uma gramática livre de contexto subjacente e, como mecanismo de auto-modificação, uma ou várias funções adaptativas que determinam quais produções são aplicáveis em cada passo de uma derivação. A verificação de aparência se refere a uma forma especial de aplicar algumas produções, escolhidas pelo projetista da gramática, sem alterar a forma sentencial nessa aplicação. É provado que esse formalismo tem poder de máquina de Turing demonstrando, em forma construtiva, sua equivalência com quatro formalismos gramaticais baseados em gramáticas livres de contexto com mecanismos de controle, que tem esse poder. São desenvolvidos dois analisadorers para linguagens dependentes de contexto a partir de um desses outros quatro formalismos. Um deles, que é baseado em autômatos-pilha, opera em forma ascendente; o outro, baseado em autômatos finitos adaptativos, opera em forma descendente. / This work introduces and describes the formalism of the context-free adaptive grammar with appearance checking. Such gramatical devices have as its kernel a subjacent context-free grammar and, as mechanism of self-modification, one or several adaptive functions which determines the productions able to be applied at each step of a derivation. The appearance checking refers to a special way to apply some productions, choosen by the designer of the grammar, without changing the sentential form in this application. It is proved that this formalism has Turing Machine power, proving, by construction, its equivalence with four grammatical formalisms based on context-free grammars and with control mechanisms, with such power. Two parsers have been developed for context-dependent languages from one of these four formalisms. One of them is based on stack-automata, and operates in a bottom-up fashion.

No description available.