Search for dissertations about: "formal language theory"

Showing result 1 - 5 of 39 swedish dissertations containing the words formal language theory.

  1. 1. Translation as Linear Transduction : Models and Algorithms for Efficient Learning in Statistical Machine Translation

    Author : Markus Saers; Joakim Nivre; Anna Sågvall Hein; Dekai Wu; Kevin Knight; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; linear transduction; linear transduction grammar; inversion transduction; zipper finite-state automaton; zipper finite-state transducer; formal language theory; formal transduction theory; translation; automatic translation; machine translation; statistical machine translation; Computational linguistics; Datorlingvistik; Language technology; Språkteknologi; Computational Linguistics; Datorlingvistik;

    Abstract : Automatic translation has seen tremendous progress in recent years, mainly thanks to statistical methods applied to large parallel corpora. Transductions represent a principled approach to modeling translation, but existing transduction classes are either not expressive enough to capture structural regularities between natural languages or too complex to support efficient statistical induction on a large scale. READ MORE

  2. 2. Formal Languages and Automata in Computational Algebra

    Author : Jonas Månsson; Algebra; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; control; Datalogi; Talteori; algebraisk geometri; algebra; gruppteori; Computer science; numerical analysis; systems; group theory; field theory; algebraic geometry; finite automata; Number Theory; Gröbner bases; SAGBI bases; numerisk analys; system; kontroll; fältteori;

    Abstract : This thesis is a collection of six papers in computational algebra. In particular, we study noncommutative Gröb- ner bases, SAGBI bases and similar algebraic objects which can be represented as a graph or an automaton. READ MORE

  3. 3. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results

    Author : Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. READ MORE

  4. 4. Complexity and expressiveness for formal structures in Natural Language Processing

    Author : Petter Ericson; Henrik Björklund; Frank Drewes; Umeå universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; graph grammars; formal languages; natural language processing; parameterized complexity; abstract meaning representation; tree automata; deterministic tree-walking transducers; mildly context-sensitive languages; hyperedge replacement; tree adjoining languages; minimally adequate teacher;

    Abstract : The formalized and algorithmic study of human language within the field of Natural Language Processing (NLP) has motivated much theoretical work in the related field of formal languages, in particular the subfields of grammar and automata theory. Motivated and informed by NLP, the papers in this thesis explore the connections between expressibility – that is, the ability for a formal system to define complex sets of objects – and algorithmic complexity – that is, the varying amount of effort required to analyse and utilise such systems. READ MORE

  5. 5. Trials of Device : Wallace Stevens and the Realities of Poetic Language

    Author : Stefan Holander; Engelska; []
    Keywords : HUMANIORA; HUMANITIES; literary theory; literature criticism; General and comparative literature; poetic prosody; metrics; rhythmic theory; Literary ethics; metaphor; modernism; Wallace Stevens; Allmän och jämförande litteratur; litteraturkritik; litteraturteori; English language and literature; Engelska språk och litteratur ;

    Abstract : This dissertation studies Wallace Stevens? ideas and practice of poetic language with a focus on the 1930s, an era in which Stevens persistently thematized a keenly felt pressure for the possible social involvement and political utility of poetic language. The argument suggests how mutually implicated elements of his poetry such as diction, prosody and metaphor are relied on to signify or enact aesthetic closure; both in the negative terms of expressive impotence and unethical isolation and the positive ones of imaginative and linguistic change. READ MORE