Search for dissertations about: "tree automata"
Showing result 1 - 5 of 9 swedish dissertations containing the words tree automata.
-
1. Reduction Techniques for Finite (Tree) Automata
Abstract : Finite automata appear in almost every branch of computer science, for example in model checking, in natural language processing and in database theory. In many applications where finite automata occur, it is highly desirable to deal with automata that are as small as possible, in order to save memory as well as excecution time. READ MORE
-
2. Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring
Abstract : Reference monitor inlining is a technique for enforcing security policies by injecting security checks into the untrusted software in a style similar to aspect-oriented programming. The intention is that the injected code enforces compliance with the policy (security), without adding behavior (conservativity) or affecting existing policy compliant behavior (transparency). READ MORE
-
3. Contributions to the theory and applications of tree languages
Abstract : This thesis is concerned with theoretical as well as practical aspects of tree languages. It consists of an introduction and eight papers, organised into three parts. READ MORE
-
4. Complexity and expressiveness for formal structures in Natural Language Processing
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. A novel approach to text classification
Abstract : This thesis explores the foundations of text classification, using both empirical and deductive methods, with a focus on author identification and syntactic methods. We strive for a thorough theoretical understanding of what affects the effectiveness of classification in general. READ MORE