Zpět na vyhledávání

Tomáš Fluksa

Bachelor's thesis

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

Deciding Truth of Formulas of Presburger Arithmetic Using Finite Automata
Abstract:
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í …more
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 …more
 

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
 
Language used: Czech
Date on which the thesis was submitted / produced: 2010
Identifier: http://hdl.handle.net/10084/78952

Thesis defence

  • Supervisor: Zdeněk Sawa
  • Reader: Martin Kot

Citation record

Cite this text

Full text of thesis

Accessibility: 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.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Vysoká škola báňská - Technická univerzita Ostrava

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

Fakulta elektrotechniky a informatiky

Bachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika

Theses on a related topic

List of theses with an identical keyword.
All theses