Sökning: "ändlig automat"

Hittade 3 uppsatser innehållade orden ändlig automat.

  1. 1. Verification of Formal Requirements through Tracing

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jorrit Olthuis; [2020]
    Nyckelord :;

    Sammanfattning : Software development in the railway application is governed by strict standards which aim to ensure safety. It is for example highly recommended to use formal methods when specifying requirements. Moreover, it is mandatory to have certain roles be fulfilled by different people. A common technique is developing software tests for the requirements. LÄS MER

  3. 2. Phonotactic Structures in Swedish : A Data-Driven Approach

    Magister-uppsats, Stockholms universitet/Institutionen för lingvistik

    Författare :Felix Hultin; [2017]
    Nyckelord :Phonotactics; computational phonology; trie; finite automata; pattern matching; regular languages; Fonotax; beräkningsbar fonologi; trie; ändlig automat; mönstermatchning; reguljära språk;

    Sammanfattning : Ever since Bengt Sigurd laid out the first comprehensive description of Swedish phonotactics in 1965, it has been the main point of reference within the field. This thesis attempts a new approach, by presenting a computational and statistical model of Swedish phonotactics, which can be built by any corpus of IPA phonetic script. LÄS MER

  4. 3. Collaboration in Multi-agent Games : Synthesis of Finite-state Strategies in Games of Imperfect Information

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Edvin Lundberg; [2017]
    Nyckelord :Multi-agent games; multiagent games; multi-agent system; imperfect information; imperfect recall; collaboration; imperfect communication; finite-state strategy; concurrent games; concurrent system; strategy synthesis; strategy construction; automated programming; automated problem solving; automated collaboration; verification; knowledge-based subset construction; knowledge tracking;

    Sammanfattning : We study games where a team of agents needs to collaborate against an adversary to achieve a common goal. The agents make their moves simultaneously, and they have different perceptions about the system state after each move, due to different sensing capabilities. LÄS MER