O objetivo principal desta dissertação é investigar o Curso de Linguística Geral em busca das reflexões presentes nele sobre quatro gramáticas diferentes, a saber, (1) a gramática comparada; (2) a gramática histórica; (3) a gramática geral; e (4) a gramática tradicional. Tenta-se esboçar um panorama geral da representação de cada uma ao longo do livro, com a identificação de críticas tecidas a elas, de avaliações positivas acerca das mesmas e de análises quanto à relevância dessas diferentes gramáticas para a linguística. Tal panorama é traçado através da compilação de afirmações, relações e omissões feitas acerca de cada gramática ao longo do CLG. A compilação dessas passagens também indica as partes e capítulos em que elas figuram no CLG, de modo a proporcionar um breve mapeamento das discussões e menções sobre cada uma nessa obra. Neste trabalho, para realizar essa coleta e tais análises, tomamos o CLG como objeto histórico, entrecruzado e influenciado pelos eventos de seu tempo, do momento histórico-epistemológico em que ele é construído e publicado. Visto que esta dissertação é dedicada também a leitores pouco familiarizados com a história da linguística, ela foi dividida em duas partes, sendo a primeira, o capítulo 1, uma revisão introdutória da história da linguística dos séculos XIX e XX, passando também pela revisão histórica oferecida pelo CLG. Essa breve investigação da história da linguística contextualiza as informações que são apresentadas, na segunda parte, sobre as diferentes gramáticas nessa obra. A segunda parte é composta dos capítulos 2 e 3. Naquele, se definem as gramáticas a serem exploradas, bem como porque foram selecionadas e como estão dispostas no capítulo 3. Este, por sua vez, conta com quatro seções, cada uma dedicada a uma gramática e onde se encontram a compilação e análise das passagens acerca de cada uma. Nas conclusões, retomam-se os panoramas traçados ao longo do trabalho, bem como se avaliam os possíveis caminhos a seguir a partir desse recenseamento inicial das gramáticas no CLG. / The main goal of this work is to investigate the Course in General Linguistics in search of the thoughts we can find in it regarding 4 different grammars: (1) comparative grammar; (2) historical grammar; (3) general grammar; and (4) traditional grammar. We try to outline the general representation of each grammar throughout the book, identifying criticism or positive comments towards them, as well as any analysis on the relevance of these different grammars to linguistics. This outline is based on the compilation of assertions, relations and omissions regarding each grammar throughout the CGL. The compilation of such passages also indicates the parts and chapters where they appear in the book, so as to offer a brief mapping of the mentions about these grammars in it. In the present work, in order to carry out the data collection and its analysis, we consider the CGL a historical object, intertwined and influenced by the events of its time, of the historical-epistemological moment when it was construed and published. Since this research is also directed to readers who may not be familiar with the history of linguistics, it was divided in two parts, being the first, chapter 1, an introductory review of the history of linguistics during the nineteenth and twentieth centuries, with a look to the historical review offered by the CGL. This brief investigation of the history of linguistics contextualizes the information about the different grammars in the book that are presented in the second part of the work. The second part is composed of chapters 2 and 3. In chapter 2, the grammars to be investigated are defined and we present the reasons why they were selected, as well as how they were selected and how they are distributed in chapter 3. Chapter 3 is divided into 4 sections, each dedicated to one grammar and where we offer the compilation and analysis of the passages regarding each of them. In the conclusion, we review the outlines offered throughout the present work and assess the possible paths to follow in the future, based on this initial survey of the grammars in the CGL.

The present thesis focuses on the classification, description and comparison of evaluative adjectives occurring in two lifestyle magazines, Cosmopolitan (for women) and Esquire (for men. The theoretical part presents general information on evaluation and evaluative language, local grammars, lifestyle magazines and differences between the use of language by women and men. The material for the analysis is drawn from online articles published by Cosmopolitan and Esquire which are part-of-speech tagged using the freeware Part-Of-Speech tagger TagAnt, the analysis is carried out using the corpus analysis software AntConc. The initial part of the analysis describes and compares the most frequently used evaluative adjectives in the two corpora. The final section uses the patterns presented in the theoretical part of the thesis as a starting point; the two corpora are searched to find their occurrences, potential variations and patterns that have not been described previously. Key words: Evaluation, lifestyle magazines, local grammars, evaluative patterns

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This research seeks to analyze the practices of ecological agriculture from the normative principles that mobilizes and that make possible the emergence of a ecological market in southern Brazil. I take as empirical universe the context of ecological production, under the farmers involved with Rede de Agroecologia Ecovida in the state of Rio Grande do Sul (BR), and participatory certification label as object of study. I take as theoretical support the french pragmatic sociology, understood in the midst of so-called theories of subjective rationality or axiological, whereby is understood that economic behavior are intertwined in normative principles that translate into justification imperatives. Through documentary research and interviews with the coordinators, technicians and farmers belonging to the Rede de Agroecologia Ecovida seeks to describe the process of participatory certification under the Rede Ecovida de Agroecologia, emphasizing the criticism that operates around the certification by third party, and understand and describe the valuative hierarchies that underpin ecological farming, taking into account, beyond the justification that permeates it, the critical dimension that operates over conventional farming and organic farming conventionalized. With these objectives, seeks to elucidate which grammar is behind this certification label and what implications this participatory certification has to farmers involved with it. / Esta investigação procura analisar as práticas de agricultura ecológica a partir dos princípios normativos que mobiliza e que tornam possível a emergência de um mercado ecológico no sul do Brasil. Para tal, tomo como universo empírico o contexto da produção ecológica, no âmbito dos agricultores envolvidos com a Rede de Agroecologia Ecovida no estado do Rio Grande do Sul (BR), e o selo de certificação participativa como objeto de estudo. Tomo como aporte teórico a sociologia pragmática francesa, compreendida no bojo das chamadas teorias da racionalidade subjetiva ou axiológica, pela qual se compreende que os comportamentos econômicos estão embricados em princípios normativos que se traduzem em imperativos de justificação. Através de pesquisa documental e entrevistas realizadas junto a coordenadores, técnicos e agricultores pertencentes à Rede de Agroecologia Ecovida busca-se descrever o processo de certificação participativa no âmbito da Rede de Agroecologia Ecovida, enfatizando-se a crítica que opera em torno da certificação por terceira parte, e compreender e descrever as hierarquias valorativas que subjazem a agricultura ecológica, levando-se em conta, além da justificação que lhe permeia, a dimensão crítica que opera em relação à agricultura convencional e a agricultura orgânica convencionalizada. Com esses objetivos, busca-se elucidar qual gramática está por trás desse selo de certificação e que implicações essa certificação participativa tem para os agricultores com ela envolvidos.

O objetivo principal desta dissertação é investigar o Curso de Linguística Geral em busca das reflexões presentes nele sobre quatro gramáticas diferentes, a saber, (1) a gramática comparada; (2) a gramática histórica; (3) a gramática geral; e (4) a gramática tradicional. Tenta-se esboçar um panorama geral da representação de cada uma ao longo do livro, com a identificação de críticas tecidas a elas, de avaliações positivas acerca das mesmas e de análises quanto à relevância dessas diferentes gramáticas para a linguística. Tal panorama é traçado através da compilação de afirmações, relações e omissões feitas acerca de cada gramática ao longo do CLG. A compilação dessas passagens também indica as partes e capítulos em que elas figuram no CLG, de modo a proporcionar um breve mapeamento das discussões e menções sobre cada uma nessa obra. Neste trabalho, para realizar essa coleta e tais análises, tomamos o CLG como objeto histórico, entrecruzado e influenciado pelos eventos de seu tempo, do momento histórico-epistemológico em que ele é construído e publicado. Visto que esta dissertação é dedicada também a leitores pouco familiarizados com a história da linguística, ela foi dividida em duas partes, sendo a primeira, o capítulo 1, uma revisão introdutória da história da linguística dos séculos XIX e XX, passando também pela revisão histórica oferecida pelo CLG. Essa breve investigação da história da linguística contextualiza as informações que são apresentadas, na segunda parte, sobre as diferentes gramáticas nessa obra. A segunda parte é composta dos capítulos 2 e 3. Naquele, se definem as gramáticas a serem exploradas, bem como porque foram selecionadas e como estão dispostas no capítulo 3. Este, por sua vez, conta com quatro seções, cada uma dedicada a uma gramática e onde se encontram a compilação e análise das passagens acerca de cada uma. Nas conclusões, retomam-se os panoramas traçados ao longo do trabalho, bem como se avaliam os possíveis caminhos a seguir a partir desse recenseamento inicial das gramáticas no CLG. / The main goal of this work is to investigate the Course in General Linguistics in search of the thoughts we can find in it regarding 4 different grammars: (1) comparative grammar; (2) historical grammar; (3) general grammar; and (4) traditional grammar. We try to outline the general representation of each grammar throughout the book, identifying criticism or positive comments towards them, as well as any analysis on the relevance of these different grammars to linguistics. This outline is based on the compilation of assertions, relations and omissions regarding each grammar throughout the CGL. The compilation of such passages also indicates the parts and chapters where they appear in the book, so as to offer a brief mapping of the mentions about these grammars in it. In the present work, in order to carry out the data collection and its analysis, we consider the CGL a historical object, intertwined and influenced by the events of its time, of the historical-epistemological moment when it was construed and published. Since this research is also directed to readers who may not be familiar with the history of linguistics, it was divided in two parts, being the first, chapter 1, an introductory review of the history of linguistics during the nineteenth and twentieth centuries, with a look to the historical review offered by the CGL. This brief investigation of the history of linguistics contextualizes the information about the different grammars in the book that are presented in the second part of the work. The second part is composed of chapters 2 and 3. In chapter 2, the grammars to be investigated are defined and we present the reasons why they were selected, as well as how they were selected and how they are distributed in chapter 3. Chapter 3 is divided into 4 sections, each dedicated to one grammar and where we offer the compilation and analysis of the passages regarding each of them. In the conclusion, we review the outlines offered throughout the present work and assess the possible paths to follow in the future, based on this initial survey of the grammars in the CGL.

Este trabalho descreve EXTIO (Extraction of Temporal Information Using Ontologies), uma abordagem que permite a normalização de expressões temporais e a organização em ontologia de fatos temporais extraídos de texto em linguagem natural. Isto permite que motores de busca possam aproveitar melhor a informação temporal de páginas daWeb, realizando inferências sobre fatos temporais. EXTIO propõe: a normalização de expressões temporais relativas através de uma gramática formal para a língua inglesa; e a organização de fatos temporais extraídos do texto normalizado em uma ontologia. Expressões temporais relativas são construções textuais de tempo que se referem a uma data absoluta cujo valor é relativo a outra data. Por exemplo, a expressão “three months ago” (três meses atrás) é uma expressão temporal relativa, pois seu surgimento no texto se refere a uma data três meses antes da data de publicação do documento. Experimentos demonstram que a gramática formal proposta para a normalização de expressões temporais relativas supera o baseline na eficácia da normalização e no tempo de processamento de documentos em linguagem natural. A principal contribuição deste trabalho é a gramática formal para normalização de expressões temporais relativas de texto na língua inglesa. Também é contribuição deste trabalho o processamento semântico da informação temporal disponível em formato texto em documentos, para que possa ser melhor aproveitada por motores de busca. / This work describes EXTIO, an approach for the normalization of temporal expressions and the semantic organization of temporal facts extracted from natural language text. This approach allows search engines to benefit from temporal information in Web pages, performing inferences on temporal facts. EXTIO proposes: the normalization of relative temporal expressions through a formal grammar for the English language; and the organization of temporal facts extracted from normalized text in an ontology. Relative temporal expressions are textual time structures that refer to an absolute date whose value is relative to another date. For instance, “three months ago” is a relative temporal expression because its appearance in the text refers to a date three months before the document publication date. Experiments show that the proposed formal grammar for the normalization of relative temporal expressions has a better performance than the baseline in effectiveness and processing time. The main contribution of this work is the formal grammar for the normalization of temporal expressions in natural language text in English. Another contribution of this work is the semantic processing of temporal information available in documents, so that search engines may benefit from this information.

Esta tese apresenta um modelo conceitual para modelagem e vericação de espe- cificações de sistemas orientados a objeto. Mais especificiamente, uma extensão da abordagem algébrica baseada em single-pushouts para gramáticas de grafos tipadas é desenvolvida, onde os morfismos de tipagem são compatíveis com as relações de ordem sobre os nodos e (hiper)arcos de um grafo, e que representam, respectivamente, as relações de herança entre classes e sobrescrita de métodos. O trabalho é dividido em trÊs linhas principais: especificações de sistemas, comportamento dinâmico de programas, e verificaçaõ formal de sistemas orientados a objeto. A hierarquia de classes de um sistema orientado a objetoé modelada por um hipergrafo rotulado chamado grafo de classes, cujos conjuntos de nodos e arcos possuem uma relação de ordem parcial restrita, com o objetivo de modelar herança e sobrescrita de métodos. Restrições adicionais garantem que grafos de classes provÊm um modelo fiel e adequado da maneira como as classes de um sistema orientado a objetos s~ao efetivamente organizadas e combinadas. Grafos orientados a objeto são hipergrafos tipados sobre um grafo de classes. O morfismo de tipagem exige que hiperarcos mapeados preservem as relações existentes entre os seus nodos de origem e destino. Esta característica modela a heran»ca de forma adequada, visto que qualquer objeto pode fazer uso de atributos ou mensagens herdadas. Mor¯smos entre grafos orientados a objeto asseguram que o polimorfismo de subclasses seja uma característica intrínseca do formalismo aqui apresentado. Regras orientadas a objeto respeitam os princípios de encapsulamento e oclusão da informação do paradigma. Uma derivação direta (ou aplicação de regra)é uma soma amalgamada (pushout) na categoria de grafos orientados a objeto e seus morfismos. Gramáticas de grafos orientados a objeto modelam o comportamento dinâmico de sistemas. Uma semântica observacional para gramáticas de grafos orientados a objeto, baseada em sistemas de transição rotulados, é definida. Tal semântica é baseada na noção de entidades visíveis (objetos ou mensagens), e que representam os elementos importantes no processo de verificação de propriedades do sistema especificado pela gramática. Finalmente, uma tradução formal de gramáticas de grafos orientados a objeto para programas na linguagem Promela é definida. Objetos são traduzidos como pro- cessos em Promela, e a troca de mensagens entre objetos é implementada com canais de comunicação. Herança, polimorfismo e ligação dinÂmica são implementados no programa Promela, que originalmente não suporta nenhuma dessas caraterísticas. A verificação de propriedades do programa pode ser efetuada tanto sobre estados como sobre eventos. / This thesis presents a graph-based formal framework to model and verify object- oriented specifications. More specifically, an extension of the algebraic single- pushout approach to (typed) graph grammars is developed, where the typing mor- phisms are compatible with the order relations defined over nodes and edges to represent, respectively, inheritance and overriding of classes and methods. This work is divided in three main lines: static specifications, dynamic behaviour, and formal verification of object-oriented systems. The object-oriented class hierarchy structure is modeled by a graph structure called class-model graph, whose set of nodes and edges have a restricted partial order relation over them, to model inheritance and method overriding. The underlying relations of such sets obey additional restrictions, intended to assure that class- model graphs provide an adequate and faithful model of how object-oriented classes are organized and combined. Object-oriented graph grammars model the dynamics of object-oriented systems. Object-oriented graphs are hypergraphs typed over a class-model graph, but the typing morphism is more flexible than the traditional one, in the sense that mapped hyperedges need to preserve relations between sources and targets. This feature adequately models inheritance, for any object can make use of inherited attributes or messages. Morphisms between object-oriented graphs assure that subclass poly- morphism is a built-in feature of the formalism. Object-oriented rules respect the principles of encapsulation and information hiding of the object-oriented paradigm. A direct derivation (or rule application) is shown to be a pushout in the category of object-oriented graphs and their morphisms. An observational semantics for object-oriented graph grammars, based on a labeled transition system, is presented. This semantics is based on a notion of visible entities (objects or messages), which are the elements we are interested in for verification purposes. Finally, a formal translation from object-oriented graph grammars specifications into Promela programs is defined. Objects in the system graph are translated as Promela processes, and message exchange is implemented with buffered communication channels. The semantics of grammar rule application is preserved by the nondeterminism in the choice of which message to consume. Inheritance, polymorphism and dynamic binding are implemented in the Promela program, which originally does not support it. The translation presented assures that both state and event verification can be performed.

A área de biologia computacional está vivendo um crescimento rápido causado pela revolução no estudo de genômas e pelo avanço das técnicas de manipulação do material genético. Com essas novas tecnologias para manipulação de seqüências, a importância de achar uma solução eficiente para os problemas chamados de intratáveis também cresceu, pois muitos problemas envolvidos na análise de DNA pertencem a essa classe de problemas. Uma abordagem para achar essas soluções é usar o próprio DNA para realizar computação, aproveitando o paralelismo massivo utilizado em operações que manipulam seqüências de DNA. Isto é estudado na área de computação com DNA. Esse trabalho propõe um modelo formal para representar a estrutura da molécula de DNA e das operações que são realizadas com ela em laboratório. Este modelo ajuda a preencher a necessidade de uma descrição matemática que possa ser usada para analisar algoritmos baseados em DNA, assim como possibilitar a simulaç~o desses algoritmos em um computador. Foi utilizada a teoria de gramáticas de grafos, uma linguagem de especificação formal, para modelar as seqüências de DNA e suas I operações. O trabalho apresenta um estudo da estrutura da molécula de DNA, deScrevendo suas características e as principais operações que são realizadas para sua manipulação em laboratório. Uma descrição da teoria de Gramática de Grafos e sua aplicação também é apresentada. Para validação do modelo proposto as especificações resultantes foram adaptadas para o formato L-systems, outra linguagem de especificação formal, permitindo realizar a simulação da especificação no ambiente L-Studio. / The area of computational biology is living a fast growth, fed with a revolution in the study of genomes and with the advance in the techniques of genetic material manipulation. With these new technologies for manipulation of sequences, the relevance of finding efficient solution to the so-called computer intractable problems has also grown, because many problems involved in analyzing DNA belong to this class of problems. One approach to find such solutions is to use DNA itself to perform computations, taking advantage of the massive parallelism involved in operations that manipulate DNA sequences. This is what is studied in the area ofDNA computing. This work proposes a formal model to represent the DNA structure and the operations performed in laboratory with it. This model helps to fill the need of a mathematical description that can be used to analyze DNA-based algorithms, as well as for simulating such algorithms in a computer. We use graph grammars, a formal specification language, to model the DNA sequences and operations. The work presents a study of the DNA molecule structure, describing its features and the main operations performed for manipulation in laboratory. A description of the theory of Graph Grammars and its application are presented too. To validate the proposed model, the resulting DNA-graph grammar specifications are then translated into the L-systems format, another formal specification language, allowing for the simulation of the specifications using the L-Studio environment.

Esta tese apresenta um modelo conceitual para modelagem e vericação de espe- cificações de sistemas orientados a objeto. Mais especificiamente, uma extensão da abordagem algébrica baseada em single-pushouts para gramáticas de grafos tipadas é desenvolvida, onde os morfismos de tipagem são compatíveis com as relações de ordem sobre os nodos e (hiper)arcos de um grafo, e que representam, respectivamente, as relações de herança entre classes e sobrescrita de métodos. O trabalho é dividido em trÊs linhas principais: especificações de sistemas, comportamento dinâmico de programas, e verificaçaõ formal de sistemas orientados a objeto. A hierarquia de classes de um sistema orientado a objetoé modelada por um hipergrafo rotulado chamado grafo de classes, cujos conjuntos de nodos e arcos possuem uma relação de ordem parcial restrita, com o objetivo de modelar herança e sobrescrita de métodos. Restrições adicionais garantem que grafos de classes provÊm um modelo fiel e adequado da maneira como as classes de um sistema orientado a objetos s~ao efetivamente organizadas e combinadas. Grafos orientados a objeto são hipergrafos tipados sobre um grafo de classes. O morfismo de tipagem exige que hiperarcos mapeados preservem as relações existentes entre os seus nodos de origem e destino. Esta característica modela a heran»ca de forma adequada, visto que qualquer objeto pode fazer uso de atributos ou mensagens herdadas. Mor¯smos entre grafos orientados a objeto asseguram que o polimorfismo de subclasses seja uma característica intrínseca do formalismo aqui apresentado. Regras orientadas a objeto respeitam os princípios de encapsulamento e oclusão da informação do paradigma. Uma derivação direta (ou aplicação de regra)é uma soma amalgamada (pushout) na categoria de grafos orientados a objeto e seus morfismos. Gramáticas de grafos orientados a objeto modelam o comportamento dinâmico de sistemas. Uma semântica observacional para gramáticas de grafos orientados a objeto, baseada em sistemas de transição rotulados, é definida. Tal semântica é baseada na noção de entidades visíveis (objetos ou mensagens), e que representam os elementos importantes no processo de verificação de propriedades do sistema especificado pela gramática. Finalmente, uma tradução formal de gramáticas de grafos orientados a objeto para programas na linguagem Promela é definida. Objetos são traduzidos como pro- cessos em Promela, e a troca de mensagens entre objetos é implementada com canais de comunicação. Herança, polimorfismo e ligação dinÂmica são implementados no programa Promela, que originalmente não suporta nenhuma dessas caraterísticas. A verificação de propriedades do programa pode ser efetuada tanto sobre estados como sobre eventos. / This thesis presents a graph-based formal framework to model and verify object- oriented specifications. More specifically, an extension of the algebraic single- pushout approach to (typed) graph grammars is developed, where the typing mor- phisms are compatible with the order relations defined over nodes and edges to represent, respectively, inheritance and overriding of classes and methods. This work is divided in three main lines: static specifications, dynamic behaviour, and formal verification of object-oriented systems. The object-oriented class hierarchy structure is modeled by a graph structure called class-model graph, whose set of nodes and edges have a restricted partial order relation over them, to model inheritance and method overriding. The underlying relations of such sets obey additional restrictions, intended to assure that class- model graphs provide an adequate and faithful model of how object-oriented classes are organized and combined. Object-oriented graph grammars model the dynamics of object-oriented systems. Object-oriented graphs are hypergraphs typed over a class-model graph, but the typing morphism is more flexible than the traditional one, in the sense that mapped hyperedges need to preserve relations between sources and targets. This feature adequately models inheritance, for any object can make use of inherited attributes or messages. Morphisms between object-oriented graphs assure that subclass poly- morphism is a built-in feature of the formalism. Object-oriented rules respect the principles of encapsulation and information hiding of the object-oriented paradigm. A direct derivation (or rule application) is shown to be a pushout in the category of object-oriented graphs and their morphisms. An observational semantics for object-oriented graph grammars, based on a labeled transition system, is presented. This semantics is based on a notion of visible entities (objects or messages), which are the elements we are interested in for verification purposes. Finally, a formal translation from object-oriented graph grammars specifications into Promela programs is defined. Objects in the system graph are translated as Promela processes, and message exchange is implemented with buffered communication channels. The semantics of grammar rule application is preserved by the nondeterminism in the choice of which message to consume. Inheritance, polymorphism and dynamic binding are implemented in the Promela program, which originally does not support it. The translation presented assures that both state and event verification can be performed.

A área de biologia computacional está vivendo um crescimento rápido causado pela revolução no estudo de genômas e pelo avanço das técnicas de manipulação do material genético. Com essas novas tecnologias para manipulação de seqüências, a importância de achar uma solução eficiente para os problemas chamados de intratáveis também cresceu, pois muitos problemas envolvidos na análise de DNA pertencem a essa classe de problemas. Uma abordagem para achar essas soluções é usar o próprio DNA para realizar computação, aproveitando o paralelismo massivo utilizado em operações que manipulam seqüências de DNA. Isto é estudado na área de computação com DNA. Esse trabalho propõe um modelo formal para representar a estrutura da molécula de DNA e das operações que são realizadas com ela em laboratório. Este modelo ajuda a preencher a necessidade de uma descrição matemática que possa ser usada para analisar algoritmos baseados em DNA, assim como possibilitar a simulaç~o desses algoritmos em um computador. Foi utilizada a teoria de gramáticas de grafos, uma linguagem de especificação formal, para modelar as seqüências de DNA e suas I operações. O trabalho apresenta um estudo da estrutura da molécula de DNA, deScrevendo suas características e as principais operações que são realizadas para sua manipulação em laboratório. Uma descrição da teoria de Gramática de Grafos e sua aplicação também é apresentada. Para validação do modelo proposto as especificações resultantes foram adaptadas para o formato L-systems, outra linguagem de especificação formal, permitindo realizar a simulação da especificação no ambiente L-Studio. / The area of computational biology is living a fast growth, fed with a revolution in the study of genomes and with the advance in the techniques of genetic material manipulation. With these new technologies for manipulation of sequences, the relevance of finding efficient solution to the so-called computer intractable problems has also grown, because many problems involved in analyzing DNA belong to this class of problems. One approach to find such solutions is to use DNA itself to perform computations, taking advantage of the massive parallelism involved in operations that manipulate DNA sequences. This is what is studied in the area ofDNA computing. This work proposes a formal model to represent the DNA structure and the operations performed in laboratory with it. This model helps to fill the need of a mathematical description that can be used to analyze DNA-based algorithms, as well as for simulating such algorithms in a computer. We use graph grammars, a formal specification language, to model the DNA sequences and operations. The work presents a study of the DNA molecule structure, describing its features and the main operations performed for manipulation in laboratory. A description of the theory of Graph Grammars and its application are presented too. To validate the proposed model, the resulting DNA-graph grammar specifications are then translated into the L-systems format, another formal specification language, allowing for the simulation of the specifications using the L-Studio environment.

O objetivo principal desta dissertação é investigar o Curso de Linguística Geral em busca das reflexões presentes nele sobre quatro gramáticas diferentes, a saber, (1) a gramática comparada; (2) a gramática histórica; (3) a gramática geral; e (4) a gramática tradicional. Tenta-se esboçar um panorama geral da representação de cada uma ao longo do livro, com a identificação de críticas tecidas a elas, de avaliações positivas acerca das mesmas e de análises quanto à relevância dessas diferentes gramáticas para a linguística. Tal panorama é traçado através da compilação de afirmações, relações e omissões feitas acerca de cada gramática ao longo do CLG. A compilação dessas passagens também indica as partes e capítulos em que elas figuram no CLG, de modo a proporcionar um breve mapeamento das discussões e menções sobre cada uma nessa obra. Neste trabalho, para realizar essa coleta e tais análises, tomamos o CLG como objeto histórico, entrecruzado e influenciado pelos eventos de seu tempo, do momento histórico-epistemológico em que ele é construído e publicado. Visto que esta dissertação é dedicada também a leitores pouco familiarizados com a história da linguística, ela foi dividida em duas partes, sendo a primeira, o capítulo 1, uma revisão introdutória da história da linguística dos séculos XIX e XX, passando também pela revisão histórica oferecida pelo CLG. Essa breve investigação da história da linguística contextualiza as informações que são apresentadas, na segunda parte, sobre as diferentes gramáticas nessa obra. A segunda parte é composta dos capítulos 2 e 3. Naquele, se definem as gramáticas a serem exploradas, bem como porque foram selecionadas e como estão dispostas no capítulo 3. Este, por sua vez, conta com quatro seções, cada uma dedicada a uma gramática e onde se encontram a compilação e análise das passagens acerca de cada uma. Nas conclusões, retomam-se os panoramas traçados ao longo do trabalho, bem como se avaliam os possíveis caminhos a seguir a partir desse recenseamento inicial das gramáticas no CLG. / The main goal of this work is to investigate the Course in General Linguistics in search of the thoughts we can find in it regarding 4 different grammars: (1) comparative grammar; (2) historical grammar; (3) general grammar; and (4) traditional grammar. We try to outline the general representation of each grammar throughout the book, identifying criticism or positive comments towards them, as well as any analysis on the relevance of these different grammars to linguistics. This outline is based on the compilation of assertions, relations and omissions regarding each grammar throughout the CGL. The compilation of such passages also indicates the parts and chapters where they appear in the book, so as to offer a brief mapping of the mentions about these grammars in it. In the present work, in order to carry out the data collection and its analysis, we consider the CGL a historical object, intertwined and influenced by the events of its time, of the historical-epistemological moment when it was construed and published. Since this research is also directed to readers who may not be familiar with the history of linguistics, it was divided in two parts, being the first, chapter 1, an introductory review of the history of linguistics during the nineteenth and twentieth centuries, with a look to the historical review offered by the CGL. This brief investigation of the history of linguistics contextualizes the information about the different grammars in the book that are presented in the second part of the work. The second part is composed of chapters 2 and 3. In chapter 2, the grammars to be investigated are defined and we present the reasons why they were selected, as well as how they were selected and how they are distributed in chapter 3. Chapter 3 is divided into 4 sections, each dedicated to one grammar and where we offer the compilation and analysis of the passages regarding each of them. In the conclusion, we review the outlines offered throughout the present work and assess the possible paths to follow in the future, based on this initial survey of the grammars in the CGL.