Sökning: "regular expressions"

Visar resultat 1 - 5 av 19 avhandlingar innehållade orden regular expressions.

  1. 1. Complexities of Order-Related Formal Language Extensions

    Författare :Martin Berglund; Frank Drewes; Henrik Björklund; Markus Holzer; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; complexity; automata; languages; order; shuffle; regular expressions; context-free; mildly context-sensitive; parsing; membership; algorithm analysis; Computer Science; datalogi;

    Sammanfattning : The work presented in this thesis discusses various formal language formalisms that extend classical formalisms like regular expressions and context-free grammars with additional abilities, most relating to order. This is done while focusing on the impact these extensions have on the efficiency of parsing the languages generated. LÄS MER

  3. 2. Programming Language Design - Issues in Web Programming and Security

    Författare :Niklas Broberg; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation; calculus;

    Sammanfattning : This thesis consists of two separate parts. Both concern programming language design, the first in the domain of web programming and the other for security. LÄS MER

  4. 3. Verifying Absence of ∞ Loops in Parameterized Protocols

    Författare :Mayank Saksena; Bengt Jonsson; Ahmed Bouajjani; Uppsala universitet; []
    Nyckelord :formal methods; verification; model checking; infinite-state systems; regular model checking; liveness; graph transformation;

    Sammanfattning : The complex behavior of computer systems offers many challenges for formal verification. The analysis quickly becomes difficult as the number of participating processes increases. A parameterized system is a family of systems parameterized on a number n, typically representing the number of participating processes. LÄS MER

  5. 4. "Den Evangeliska Mariavägen till enhet" : En studie av Paulina Mariadotters spiritualitet

    Författare :Birgitta Laghé; Sven-Erik Brodd; Yvonne Maria Werner; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Church studies; spirituality; mystic; prophetic; small tradition ; great tradition ; Mary; regular religious life; monastic life; Kyrkovetenskap; Church studies; Kyrkovetenskap;

    Sammanfattning : The dissertation deals with the mid-twentieth century development of regulated religious life in the Church of Sweden and how this was expressed in the Congregation of the Daughters of Mary of the Evangelical Way of Mary. It focuses on the foundress’ spirituality and the importance of this for the shaping of monastic life, as well as on the significance of mystic and prophetic experience for that spirituality. LÄS MER

  7. 5. Complexities of Parsing in the Presence of Reordering

    Författare :Martin Berglund; Frank Drewes; Bruce Watson; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; parsing; membership problems; complexity theory; reordering; shuffle; mildly context-sensitive; formal languages; Computer Science; datalogi;

    Sammanfattning : The work presented in this thesis discusses various formalisms for representing the addition of order-controlling and order-relaxing mechanisms to existing formal language models. An immediate example is shuffle expressions, which can represent not only all regular languages (a regular expression is a shuffle expression), but also features additional operations that generate arbitrary interleavings of its argument strings. LÄS MER