Tomáš Fluksa

Bakalářská práce

Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí konečných automatů

Deciding Truth of Formulas of Presburger Arithmetic Using Finite Automata
Anotace:
Tato bakalářská práce se zabývá možností rozhodovat pravdivost formulí Presburgerovy aritmetiky pomocí konečných automatů. V první části je obecný popis Presburgerovy aritmetiky a specifikace problému. Další kapitola se zabývá nastudováním konečných automatů, operací nad těmito automaty a jejich využitím k dosažení cíle této práce. V poslední části je popis vytvořeného počítačového programu, od načtení …více
Abstract:
The bachelor thesis deals with possibility to decide truth of formulas of Presburger arithmetic using finite automata. In first chapter is general description of Presburger arithmetic and specification of problem. Next chapter goes in for study of finite automata, operations over these automata and their utilization for reaching aim of this work. Last chapter describes the computer program, from reading …více
 

Keywords

Presburgerova aritmetika deterministický konečný automat nedeterministický konečný automat lexikální analýza syntaktická analýza Java Presburger arithmetic deterministic finite automaton nondeterministic finite automaton lexical analysis syntactic analysis
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 2010
Identifikátor: http://hdl.handle.net/10084/78952

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

  • Vedoucí: Zdeněk Sawa
  • Oponent: Martin Kot

Citační záznam

Citovat tuto práci

Plný text práce

Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Vysoká škola báňská - Technická univerzita Ostrava

Vysoká škola báňská - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

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

Seznam prací, které mají shodná klíčová slova.
Všechny práce