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

Fluksa, Tomáš

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

dc.contributor.advisor	Sawa, Zdeněk	en
dc.contributor.author	Fluksa, Tomáš	en
dc.contributor.referee	Kot, Martin	en
dc.date.accepted	2010-05-31	en
dc.date.accessioned	2010-09-29T13:44:50Z
dc.date.available	2010-09-29T13:44:50Z
dc.date.issued	2010	en
dc.description	Import 29/09/2010	cs
dc.description.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í formule přes její zpracování pomocí konečných automatů po konečné vyhodnocení pravdivosti.	cs
dc.description.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 input formula through its processing by using finite automata to final evaluation of truth.	en
dc.description.category	Prezenční	cs
dc.description.department	456 - Katedra informatiky	en
dc.description.result	dobře	cs
dc.format	32, [2] l. : il. + 1 CD-R	cs
dc.format.extent	1569214 bytes	cs
dc.format.mimetype	application/pdf	cs
dc.identifier.other	OSD002	cs
dc.identifier.sender	S2724	cs
dc.identifier.thesis	FLU004_FEI_B2647_2612R025_2010
dc.identifier.uri	http://hdl.handle.net/10084/78952
dc.language.iso	cs	en
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.rights.access	openAccess
dc.subject	Presburgerova aritmetika	cs
dc.subject	deterministický konečný automat	cs
dc.subject	nedeterministický konečný automat	cs
dc.subject	lexikální analýza	cs
dc.subject	syntaktická analýza	cs
dc.subject	Java	cs
dc.subject	Presburger arithmetic	en
dc.subject	deterministic finite automaton	en
dc.subject	nondeterministic finite automaton	en
dc.subject	lexical analysis	en
dc.subject	syntactic analysis	en
dc.subject	Java	en
dc.thesis.degree-branch	Informatika a výpočetní technika	cs
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	cs
dc.thesis.degree-level	Bakalářský studijní program	cs
dc.thesis.degree-name	Bc.	en
dc.thesis.degree-program	Informační a komunikační technologie	cs
dc.title	Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí konečných automatů	cs
dc.title.alternative	Deciding Truth of Formulas of Presburger Arithmetic Using Finite Automata	en
dc.type	Bakalářská práce	cs

Files

Original bundle

Now showing 1 - 3 out of 3 results

Name:: FLU004_FEI_B2647_2612R025_2010.pdf
Size:: 1.5 MB
Format:: Adobe Portable Document Format

Download

Name:: FLU004_FEI_B2647_2612R025_2010_zadani.JPG
Size:: 301.42 KB
Format:: Joint Photographic Experts Group/JPEG File Interchange Format (JFIF)

Download

Name:: FLU004_FEI_B2647_2612R025_2010_priloha.zip
Size:: 103.63 KB
Format:: Unknown data format

Download

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)