Diplomová práce

Modální přechodové systémy

Modal transition systems

Mgr. Jan Křetínský, učo 139914
Anotace

V této diplomové práce se zabýváme modálními přechodovými systémy, tedy přechdovými systémy s dvěma typy relací -- may a must. Jednak do hloubky studujeme, jak determinismismus ovlivňuje vlastnosti těchto systémů a složitost základních problémů na těchto systémech, jednak vyřešíme více než dvacet let otevřený fundamentální problém složitosti zjemnění. Práce je založena na spoluautorských článcích publikovaných …více

Abstract

Modal transition systems (MTS) is a~formalism which extends the classical notion of labelled transition systems by introducing transitions of two types: must transitions that have to be present in any implementation of the MTS and may transitions that are allowed but not required. The MTS framework has proved to be useful as a~specification formalism of component-based …více

Klíčová slova
compositional verification kompozicionální verifikace modal transition systems modální přechodové systémy deterministic specifications deterministické specifikace refinement zjemnění consistency konzistence complexity složitost
Zadání práce
Shromáždit a přehledně prezentovat existující výsledky o vztahu dobrých kvaziuspořádání slov k otázkám regularity a bezkontextovosti jazyků.
Administrativní informace
Práce zkontrolována:
5. 1. 2010 10:28, doc. Mgr. Michal Kunc, Ph.D., učo 2906
Plný text práce
458,2 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
9. 2. 2010
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Michal Kunc, Ph.D., učo 2906
Ústavy PřF MU

Oponent

doc. RNDr. Libor Polák, CSc.

Literatura

  • KUNC, Michal. Regular solutions of language inequalities and well quasi-orders. Theoretical Computer Science. Amsterdam: Elsevier, 2005, roč. 348, 2-3, s. 277-293. ISSN 0304-3975.
  • DE LUCA, Aldo a Stefano VARRICCHIO. Finiteness and regularity in semigroups and formal languages. Berlin: Springer, 1999, 240 s. EATCS Monographs on Theoretical Computer Science. ISBN 3-540-63771-0.
  • BUCHER, W.; A. EHRENFEUCHT a D. HAUSSLER. On total regulators generated by derivation relations. Theoretical Computer Science. Amsterdam: Elsevier, 1985, roč. 40, s. 131-148. ISSN 0304-3975.
  • D'ALESSANDRO, Flavio a Stefano VARRICCHIO. Well quasi-orders and context-free grammars. Theoretical Computer Science. Amsterdam: Elsevier, 2004, roč. 327, č. 3, s. 255-268. ISSN 0304-3975.
Citovat tuto práci
Masarykova univerzita Přírodovědecká fakulta
Studijní program
Matematika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Jan Křetínský PřF N-MA ALG, učo 139914 v11z9/7
Křetínský, J.
23. 12. 2009
Složky
Soubory
Anotace anglicky annotation_english.txt
Křetínský, J.
23. 12. 2009
Anotace česky annotation.txt
Křetínský, J.
23. 12. 2009
Klíčová slova keywords.txt
Křetínský, J.
23. 12. 2009
kretinsky_posudek_oponenta.pdf
Suchomelová, M.
8. 2. 2010
master.tex
Křetínský, J.
23. 12. 2009
text prace master.pdf
Křetínský, J.
23. 12. 2009

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.