Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem ser uma técnica de especificação bastante adequada. Algumas aplicações com essas características são sistemas móveis e vias biológicas. Além disso, diversas abordagens para especificação de sistemas reativos propõem usar linguagens assíncronas para especificar a comunicação entre componentes e definem mecanismos para descrever um conjunto (ou seqüência) de atividades que são realizadas atomicamente. Porém, pouca atenção tem sido dada à idéia de estender sistemas de transformação de grafos para permitir a especificação de atividades atômicas. Recentemente, inspirada nas idéias das redes de Petri “zero-safe” foi definida uma extensão de sistemas de transformação de grafos (GTS) – denominada GTS transacional (T-GTS) – equipando-os com uma noção de transação. Uma transação, nesta abordagem, descreve um conjunto de ações que são executadas de um modo atômico e é definida através de uma distinção entre os recursos visíveis e invisíveis de um ponto de vista externo, onde os últimos são considerados temporários e “esquecidos” em um nível abstrato. Nesta tese é dada uma fundamentação mais teórica para T-GTSs definindo uma noção de morfismos de implementação T-GTS (associando produções de um sistema com transações de outro) e, usando essa noção, é demonstrada a existência de uma adjunção entre as categorias de GTSs e T-GTSs com morfismos de implementação. Além disso, GTSs transacionais são estendidas com um mecanismo para descrever padrões de interação de sistemas reativos através de relações de dependência incluídas nas produções. A idéia é que um sitema interage com seu ambiente consumindo e criando elementos visíveis para à esse ambiente, uma relação de causalidade. Finalmente, propomos uma noção de refinamento para T-GTSs com relação de dependência caracterizada por uma visão “caixa-devidro”, onde alguns aspectos internos são preservados. Em um nível abstrato, o sistema é especificado por produções que descrevem (de uma maneira atômica) reações completas, onde a relação de dependência determina algumas restrições na estrutura interna dessas reações. Um refinamento de um sistema é definido por um morfismo total de implementação que associa cada produção (abstrata) a uma transação. Assim, o sistema refinado preserva todo o comportamento externo do sistema original e as restrições da estrutura interna determinadas pelas relações de dependência. / Reactive systems, in contrast to transformational systems, are characterised by having to continuously react to stimuli from its environment. If, in addition to reactiveness, we consider that for many applications the specification method should provide a way to describe the spatial distribution of states, graph transformation seems to be a suitable specification technique. Some applications with these characteristics are mobile systems and biological pathways. However, the approaches provided for graph transformations so far are not adequate to explicitly describe interaction patterns. Furthermore, several approaches to specify reactive systems propose to use asynchronous languages to specify communication between components and define mechanisms to describe a set (or sequence) of activities that are performed atomically. However, scarce attention has been devoted to the idea of extending GTSs in order to allow the specification of atomic activities. Inspired by the ideas of zero-safe Petri nets, an extension of graph transformation systems (GTSs) – called transactional GTS (T-GTS) – was defined, equipping them with a transaction notion. A transaction, in this approach, describes a set of actions that are executed in an atomic way and it is defined by distinguishing the resources that are visible or invisible from an external point of view, where the last ones are considered temporary and are forgotten at a more abstract level. In this thesis, we give a more theoretical foundation to T-GTS defining a notion of implementation morphisms between T-GTSs (associating graph productions of a system with transactions of other system) and using this notion we demonstrate the existence of an adjunction between categories of GTSs and T-GTSs with implementation morphisms. Moreover, we extends transactional GTSs with a mechanism to describe interaction patterns of reactive systems, by means of dependency relations included in the graph productions. The idea is that a system interacts with its environment by consuming and creating elements visible to this environment, obeying a causal dependency. Finally, we propose a notion of glass-box refinement for T-GTSs with dependency relations, where some internal aspects are preserved. In an abstract level, the system is specified by productions describing (in an atomic way) complete reactions, where the dependency relations give some constraints on the internal structure of these reactions. A refinement of a system is given by a total implementation morphism, that associates each (abstract) production to a transaction. Hence, the refined system preserves all external behaviour of the original system and the internal constraints given by the dependency relations.

Orientador: Claudia Zavaglia / Coorientador: Solange Aranha / Banca: Ariani Di Felippo / Banca: Douglas Altamiro Consolo / Resumo: Muitas vezes as gramáticas tradicionais e os dicionários existentes não são suficientes para resolver as dúvidas de estudantes e consulentes relativas a problemas linguísticos específicos. Com base nisso, propusemos um estudo de cunho contrastivo sobre uma temática pouco explorada, mas de grande relevância para a gramática e para a lexicografia: a regência verbal. Nos dicionários, esse tipo de informação gramatical é, em geral, tratado de forma imprecisa ou sequer aparece, o que pode dificultar a compreensão e/ou a produção em língua materna ou estrangeira. Dessa forma, este trabalho trata da apresentação da conclusão de um projeto de pesquisa que propôs: i) um estudo comparativo entre a língua portuguesa do Brasil e a língua inglesa, em suas variantes britânica e americana, a partir da reflexão sobre as semelhanças e diferenças observadas entre os dois sistemas no que diz respeito aos verbos regidos por preposição, e ii) a elaboração de verbetes para um dicionário bilíngue de regência verbal na direção português-inglês, tendo como base os resultados da análise contrastiva. Para que os objetivos da proposta fossem alcançados, procedemos a uma análise de aspectos gerais sobre regência encontrados na literatura existente, para, então, privilegiarmos um tipo específico de regência. As constatações das análises geral e específica alicerçaram a idealização de um modelo de organização microestrutural que contemplasse a regência verbal de uma dada categoria semântica. Particularmente, as conclusões da análise específica também mostraram que uma mesma noção semântica pode ser expressa por meio de preposições variadas. Os verbetes que compõem a nossa proposta de dicionário, cujo usuário ideal é o aprendiz que precisa se expressar em língua inglesa, foram selecionados a partir de uma nomenclatura... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Traditional grammars and the dictionaries available are often inaccurate to solve the doubts of students and users concerning particular linguistic issues. Based on that, we proposed a contrastive study on a theme not properly explored, but highly relevant to grammar and lexicography: verbal regency. Generally speaking, in dictionaries, this type of grammar information is inaccurately shown or not even brought, which can hinder mother or foreign language comprehension and/or production. Thus this work presents the conclusion of a research project that aimed at: i) a comparative study between Brazilian Portuguese and British and American English on the similarities and differences observed in these languages concerning verbs followed by prepositions, and ii) the elaboration of entries to a Portuguese-English dictionary of verbal regency, based on the results of the comparative analysis. In order to achieve our goals, we carried out an analysis of general aspects about regency found in the existing literature, so as to subsequently focus on a specific type of regency. Our findings regarding both the general and the specific analyses based the elaboration of an entry model which could show the verbal regency of a certain semantic category. Furthermore, the conclusions of the specific analysis particularly showed that the same semantic notion can be expressed through a range of prepositions. The entries to be included in our dictionary, whose ideal user is the English learner with language production needs, were selected from the wordlist of a previous project. We therefore believe that the results obtained can be seen as a view on the grammar phenomenon of verbal regency in comparative terms, and can contribute towards the specific... (Complete abstract click electronic access below) / Mestre

[pt] A cognição moral humana é um dos temas mais debatidos nas ciências cognitivas atualmente e têm atraído cada vez mais a atenção de pesquisadores e teóricos das mais diversas áreas. O trabalho apresenta duas abordagens empíricas concorrentes sobre a formação das intuições morais. Adeptos da analogia linguística descrevem a natureza e a origem do conhecimento moral por meio da utilização de conceitos e modelos similares aos adotados para o estudo da linguagem. Partindo da descrição de princípios operacionais do julgamento moral intuitivo, teóricos como John Mikhail propõem que os seres humanos possuem um conhecimento inato de uma variedade de regras, conceitos e princípios morais e, até mesmo, jurídicos. Por outro lado, teóricos como Joshua Greene e Jesse Prinz sustentam uma explicação substancialmente diferente para o surgimento das intuições morais e invocam o papel fundamental que as emoções representam nesse processo. As implicações normativas destas propostas e do estudo científico da moral em geral são inúmeras e encontram-se muito pouco exploradas. Pretende-se analisar as teorias mencionadas e o seu possível impacto na compreensão de categorias morais, políticas e jurídicas, principalmente aquelas fundadas sobre pretensões universalistas. / [en] Human moral cognition is one of the most recurrent topics in cognitive science nowadays, attracting more and more researchers and theorists from various fields. This dissertation presents two competingempirical approaches to the generation of moral intuitions. Authors pro linguistic analogy employ concepts and models borrowed from linguistics to describe the nature and source of moral knowledge. John Mikhail, for instance, describes operational principles of intuitive moral judgment to suggest that human beings are endowed with innate knowledge of multiple moral – and even legal – rules, concepts and principles. Others, like Joshua Greene and Jesse Prinz,provide a substantially different explanation to the nature of moral intuitions, highlighting the role of emotions in their constitution processes. Each one of these propositions, and the scientific study of morality in general, can generate many normative implications, which have not been deeply studied so far. This work aims to analyze the aforementioned accounts and their potential impact in moral, political and legal concepts, especially those framed by universalistic beliefs.

Made available in DSpace on 2014-06-11T19:30:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-03-08Bitstream added on 2014-06-13T19:40:08Z : No. of bitstreams: 1 rubio_cf_dr_sjrp.pdf: 1801352 bytes, checksum: b4930159949d84056c23e1802514170e (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Na presente tese, estabelecemos análise comparativa de fenômenos relacionados à concordância verbal e à alternância pronominal de primeira, segunda e terceira pessoas do singular e do plural no português brasileiro e no português europeu, com o objetivo de reunir mais evidências para discussão da origem das variedades de língua portuguesa hoje presentes no Brasil. Para a investigação empírica, utilizamos como corpora amostras de fala da região Noroeste do estado de São Paulo, provenientes do Banco de Dados Iboruna, e amostras de fala de diversas regiões do território português, integrantes do Corpus de Referência do Português Contemporâneo. Nossa análise se ampara nos pressupostos teóricos da Sociolinguística Variacionista de base Laboviana (LABOV, 1972) e realiza-se de forma qualitativa, para fenômenos relacionados à concordância verbal e à alternância pronominal de primeira, segunda e terceira pessoas do singular e de segunda pessoa do plural, e de forma qualitativa e quantitativa, para fenômenos relacionados à concordância verbal de primeira e terceira pessoas do plural e à alternância pronominal de primeira pessoa do plural. Os informantes foram estratificados mediante o controle das variáveis sociais escolaridade, faixa etária e gênero. Relativamente à primeira pessoa do plural, os resultados apontam alternância pronominal entre nós e a gente nas duas variedades, com predominância de a gente no português brasileiro do interior paulista e de nós no português europeu. Para a concordância verbal com nós, há variação entre formas verbais de primeira pessoa do plural e terceira pessoa do singular apenas na amostra da variedade do interior paulista, com predominância de uso daquela sobre esta. Nos dados do português europeu, o emprego de verbos em primeira pessoa... / This thesis establish a comparative analysis of phenomena related to verb agreement and pronoun alternation of the first, second, and third persons singular and plural in Brazilian Portuguese and European Portuguese, in order to provide evidences for discussion of the origins of Portuguese varieties in Brazil. For the empirical research, the corpora (real world) speech samples we used were from the northwest region of the state of São Paulo from the database Iboruna, and speech samples from different regions of the Portuguese territory part of Corpus de Referência do Português Contemporâneo (Reference Corpus of Contemporary Portuguese). Our analysis is supported on the theoretical assumptions of Variationist Sociolinguistics of a Labovian base (LABOV, 1972) and is carried out in a qualitative way for phenomena related to verb agreement and pronoun alternation of first, second, and third persons singular, and second persons plural in a qualitative and quantitative way for phenomena related to verbal agreement of the first and third persons plural and the pronoun alternation of first person plural. The informants were stratified by control according to social variables of education, age group, and gender. Regarding the first person plural, the results indicate a pronoun alternation between nós and a gente in the two varieties with a predominance of a gente in Brazilian Portuguese in the state of São Paulo and of nós in European Portuguese. For verbal agreement with nós there is a variation between verbal forms of first person plural and third person singular only in the sample of the variety in the state of São Paulo with predominance of using the first case over the latter. In European Portuguese the use of verbs in first person plural with nós is categorical. Regarding the pronoun form... (Complete abstract click electronic access below)

Orientador: Rosane de Andrade Berlinck / Banca: Juliana Bertucci Barbosa / Banca: Angélica Terezinha Carmo Rodrigues / Resumo: O objetivo deste trabalho é investigar a alternância entre os modos Subjuntivo e Indicativo no português brasileiro por meio de cartas pessoais datadas de meados do século XX. Pretende-se confrontar as prescrições gramaticais com os usos observados nas cartas. A teoria que serve de base para este estudo é a Teoria da Variação e Mudança Linguística, modelo teórico que se filia à Sociolinguística. Defende-se a ideia de que a troca entre os modos Subjuntivo/Indicativo não modifica o valor semântico da oração, constituindo de fato um fenômeno variável. A metodologia empregada inclui duas etapas: (i) o levantamento prévio de informações em gramáticas, manuais e outros materiais de cunho normativo similares, representativos do período de tempo compreendido pela análise, e o levantamento de resultados obtidos em estudos variacionistas sobre o fenômeno; (ii) a análise empírica do fenômeno a partir dados oriundos de cartas pessoais datadas do século XX. A variável dependente é o modo verbal empregado em contexto de orações completivas. Inclui duas variantes: formas do Subjuntivo e formas do Indicativo. Com base no resultado obtido foi possível identificar três padrões de uso do Subjuntivo: „uso categórico‟, „uso semi-categórico‟ e „uso variável‟. Os resultados mostraram que o tempo presente é o mais frequente entre os regentes verbais, bem como entre as variantes (na oração encaixada). Alguns morfemas modo-temporais do padrão semi-variável presentes nas variantes aparentaram ser abert... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The objective of this work is to investigate the alternation between Subjunctive and Indicative modes in Brazilian Portuguese through personal letters dating from the middle of the 20th century. It is intended to confront the grammatical prescriptions with the uses observed in the letters. The theory that serves as the basis for this study is the Theory of Variation and Linguistic Change, a theoretical model that links to Sociolinguistics. It is defended the idea that the exchange between the Subjunctive / Indicative modes does not modify the semantic value of the sentence, constituting in fact a variable phenomenon. The methodology used includes two steps: (i) the previous survey of information in grammars, manuals and other similar normative materials, representative of the time period comprised by the analysis, and the results obtained in variational studies on the phenomenon; (ii) the empirical analysis of the phenomenon from data from personal letters dating from the twentieth century. The dependent variable is the verbal mode employed in the context of completive sentences. It includes two variants: Subjunctive forms and Indicative forms. Based on the result obtained it was possible to identify three patterns of use of the Subjunctive: „categorical use‟, „semicategorical use‟ and „variable use‟. The results showed that the „present‟ tense is the most frequent among the verbal regents, as well as between the variants (in the embedded sentence). Some mode-temporal morphemes of the „semi-variable pattern‟ present in the variants appeared to be open to variation, being the case of the „perfect‟ and „future‟ tense. The contexts marked for use of Subjunctive brought significant results: the cases of Indicative occurred mainly, in situations in which the expected one was the use of the Subjunctive... (Complete abstract electronic acess below) / Mestre

Uma interface com o usuário é composta por duas "vias" de comunicação, uma que vai do usuário até o sistema e outra que vai do sistema até o usuário. Cada uma destas "vias" possui um formalismo que define a comunicação associado. Neste trabalho, estes formalismos são descritos com uma gramática de atributos. Esta gramática foi expandida de forma a permitir a definição dos elementos que compõe a interface do usuário, e da estrutura que irá controlar a seqüência de execução das tarefas oferecidas pelos sistemas de aplicação. Ao longo do trabalho são discutidas algumas técnicas de descrição do formalismo de comunicação entre interface e sistema, são abordados os estilos de interação e apresentada as expansões aplicadas sobre gramáticas de atributos. Um exemplo auxilia a compreensão do uso da linguagem proposta, e um protótipo permite a validação das definições. / A user interface is composed by two "ways" of communication, one from the user to the system and the other linking the system to the user. Each of these "ways" has it's own mechanism. In this work, these mechanisms are described through an attribute grammar. This grammar has been expanded to allow the definition of the structure of the interface elements and the control of the execution of the tasks that the application system implements. Through this work, technics that describe the communication between the interface and the system, interaction styles and the extensions made on attribute grammar are discussed. An example is given to explain the use of the proposed mechanism and a prototype validates ideas discussed.

Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem ser uma técnica de especificação bastante adequada. Algumas aplicações com essas características são sistemas móveis e vias biológicas. Além disso, diversas abordagens para especificação de sistemas reativos propõem usar linguagens assíncronas para especificar a comunicação entre componentes e definem mecanismos para descrever um conjunto (ou seqüência) de atividades que são realizadas atomicamente. Porém, pouca atenção tem sido dada à idéia de estender sistemas de transformação de grafos para permitir a especificação de atividades atômicas. Recentemente, inspirada nas idéias das redes de Petri “zero-safe” foi definida uma extensão de sistemas de transformação de grafos (GTS) – denominada GTS transacional (T-GTS) – equipando-os com uma noção de transação. Uma transação, nesta abordagem, descreve um conjunto de ações que são executadas de um modo atômico e é definida através de uma distinção entre os recursos visíveis e invisíveis de um ponto de vista externo, onde os últimos são considerados temporários e “esquecidos” em um nível abstrato. Nesta tese é dada uma fundamentação mais teórica para T-GTSs definindo uma noção de morfismos de implementação T-GTS (associando produções de um sistema com transações de outro) e, usando essa noção, é demonstrada a existência de uma adjunção entre as categorias de GTSs e T-GTSs com morfismos de implementação. Além disso, GTSs transacionais são estendidas com um mecanismo para descrever padrões de interação de sistemas reativos através de relações de dependência incluídas nas produções. A idéia é que um sitema interage com seu ambiente consumindo e criando elementos visíveis para à esse ambiente, uma relação de causalidade. Finalmente, propomos uma noção de refinamento para T-GTSs com relação de dependência caracterizada por uma visão “caixa-devidro”, onde alguns aspectos internos são preservados. Em um nível abstrato, o sistema é especificado por produções que descrevem (de uma maneira atômica) reações completas, onde a relação de dependência determina algumas restrições na estrutura interna dessas reações. Um refinamento de um sistema é definido por um morfismo total de implementação que associa cada produção (abstrata) a uma transação. Assim, o sistema refinado preserva todo o comportamento externo do sistema original e as restrições da estrutura interna determinadas pelas relações de dependência. / Reactive systems, in contrast to transformational systems, are characterised by having to continuously react to stimuli from its environment. If, in addition to reactiveness, we consider that for many applications the specification method should provide a way to describe the spatial distribution of states, graph transformation seems to be a suitable specification technique. Some applications with these characteristics are mobile systems and biological pathways. However, the approaches provided for graph transformations so far are not adequate to explicitly describe interaction patterns. Furthermore, several approaches to specify reactive systems propose to use asynchronous languages to specify communication between components and define mechanisms to describe a set (or sequence) of activities that are performed atomically. However, scarce attention has been devoted to the idea of extending GTSs in order to allow the specification of atomic activities. Inspired by the ideas of zero-safe Petri nets, an extension of graph transformation systems (GTSs) – called transactional GTS (T-GTS) – was defined, equipping them with a transaction notion. A transaction, in this approach, describes a set of actions that are executed in an atomic way and it is defined by distinguishing the resources that are visible or invisible from an external point of view, where the last ones are considered temporary and are forgotten at a more abstract level. In this thesis, we give a more theoretical foundation to T-GTS defining a notion of implementation morphisms between T-GTSs (associating graph productions of a system with transactions of other system) and using this notion we demonstrate the existence of an adjunction between categories of GTSs and T-GTSs with implementation morphisms. Moreover, we extends transactional GTSs with a mechanism to describe interaction patterns of reactive systems, by means of dependency relations included in the graph productions. The idea is that a system interacts with its environment by consuming and creating elements visible to this environment, obeying a causal dependency. Finally, we propose a notion of glass-box refinement for T-GTSs with dependency relations, where some internal aspects are preserved. In an abstract level, the system is specified by productions describing (in an atomic way) complete reactions, where the dependency relations give some constraints on the internal structure of these reactions. A refinement of a system is given by a total implementation morphism, that associates each (abstract) production to a transaction. Hence, the refined system preserves all external behaviour of the original system and the internal constraints given by the dependency relations.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. / Made available in DSpace on 2012-10-17T05:09:48Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T23:36:04Z : No. of bitstreams: 1 139320.pdf: 1853426 bytes, checksum: c9a209b25603a1246e6df36701247401 (MD5)

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. / Made available in DSpace on 2012-10-17T09:14:22Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T01:14:26Z : No. of bitstreams: 1 137947.pdf: 2032021 bytes, checksum: 30367e79613a73cf368a3c6199f5950c (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Estudos da Tradução, Florianópolis, 2010 / Made available in DSpace on 2012-10-24T23:37:23Z (GMT). No. of bitstreams: 1 289809.pdf: 754399 bytes, checksum: 68961a76e4c08d42b40d0534a9566ef1 (MD5) / No presente trabalho são descritos e analisados dezoito manuais que se propõem a ensinar a tradução e a gramática do latim, com o objetivo principal de reconhecer suas características e verificar possíveis semelhanças e diferenças entre eles. Refletimos sobre a tradução enquanto método pedagógico empregado no ensino do latim e sobre a Abordagem da Gramática e Tradução, que é a mais antiga abordagem utilizada no ensino de línguas estrangeiras e que ainda se faz presente no ensino do latim. Através da análise dos manuais, percebemos como algumas práticas da tradução encontradas neles estão ancoradas em concepções históricas de tradução. Estabelecemos relações entre estas concepções e as ideias de teóricos dos Estudos da Tradução como Mounin (1975) e Berman (2007).