• čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • English 
    • čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • bakalářské práce
  • Fakulta informačních technologií
  • 2013
  • View Item
  •   Repository Home
  • Závěrečné práce
  • bakalářské práce
  • Fakulta informačních technologií
  • 2013
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Modifikované hluboké zásobníkové automaty

Modified Deep Pushdown Automata

Thumbnail
View/Open
final-thesis.pdf (288.2Kb)
review_79176.html (1.448Kb)
Author
Škvařilová, Radka
Advisor
Meduna, Alexandr
Referee
Horáček, Petr
Grade
A
Altmetrics
Metadata
Show full item record
Abstract
Tato práce představuje dvě nové modifikace hlubokých zásobníkových automatů - bezestavové hluboké zásobníkové automaty a paralelní bezestavové hluboké zásobníkové automaty.V teoretické části jsou zavedeny formální definice a také je zde zkoumána síla těchto automatů. V pratické části je ukázána na jednoduchém příkladu implementace těchto automatů.
 
This thesis introduce two new modifications of deep pushdown automata - stateless deep pushdown automata and parallel deep pushdown automata. In theoretical part of this thesis is formal definition and research into power of these modification. Practical part consists of an implementation of simple automata program.
 
Keywords
Formální jazyky, automaty, zásobníkového automaty, hluboké zásobníkové automaty, bezestavové hluboké zásobníkové automaty, paralelní hluboké zásobníkové automaty, gramatiky., Formal languages, automata, pushdown automata, deep pushdown automata, stateless deep pushdown automata, parallel deep pushdown automata, grammar.
Language
čeština (Czech)
Study brunch
Informační technologie
Composition of Committee
prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) Ing. Tomáš Martínek, Ph.D. (člen) Ing. Petr Schwarz, Ph.D. (člen)
Date of defence
2013-06-13
Process of defence
Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm A . Otázky u obhajoby: Uvažovala jste o rozšíření demonstrační aplikace, aby umožňovala uživateli zadat požadovaný formální jazyk (resp. příslušný automat s pravidly)? Jaké úpravy by bylo nutné provést?
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/54929
Source
ŠKVAŘILOVÁ, R. Modifikované hluboké zásobníkové automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013.
Collections
  • 2013 [354]
Citace PRO

Related items

Showing items related by title, author, creator and subject.

  • Paralelní hluboké zásobníkové automaty 

    Solár, Peter
    Tato práce představuje paralelní hluboké zásobníkové automaty jako paralelní verzi hlubokých zásobníkových automatů. Jsou založeny na pravidlech, podle kterých může automat provést expanzi současně až  n nejvýše položených ...
  • Nové struktury a operace v matematické informatice 

    Bureš, Richard
    Cílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace ...
  • Učení se automatů pro rychlou detekci anomálií v síťovém provozu 

    Hošták, Viliam Samuel
    Táto práca sa zaoberá rýchlou detekciou sieťových anomálií na základe učenia automatov. Popisuje a porovnáva niekoľko vybraných algoritmov učenia automatov, vrátane ich aplikácie na učenie sieťových charakteristík. Pre ...

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV