Zpět na vyhledávání

Bc. Tereza Schwarzová

Bakalářská práce

QBF-Based Simplification of Acceptance Condition of Emerson-Lei Automata

QBF-Based Simplification of Acceptance Condition of Emerson-Lei Automata
Anotace:
Tato práce se zabývá zjednodušováním akceptační podmínky deterministických Emerson-Lei automatů s akceptací na hranách (TELA). Představujeme čtyři úrovně zjednodušení, kde každá úroveň koresponduje s mírou zjednodušení. Tato práce zahrnuje experimentální implementaci navržené metody a vyhodnocení výsledků.
Abstract:
The thesis focuses on the simplification of the acceptance condition of deterministic transition-based Emerson-Lei automata (TELA). In this thesis, we present four levels of simplification where each level corresponds to a certain degree of simplification. An implementation of the proposed procedure is included and experimentally evaluated in the thesis.
 

Keywords

TELA omega-automata QBF TELAtko acceptance marks reduction
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 25. 5. 2021
Identifikátor: https://is.muni.cz/th/khyn2/

Obhajoba závěrečné práce

  • Obhajoba proběhla 30. 6. 2021
  • Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: prof. RNDr. Ivana Černá, CSc.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika

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

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.