Systémy formálních modelů a jejich aplikace

but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorMeduna, Alexandrcs
dc.contributor.authorČermák, Martincs
dc.contributor.refereeLukáš, Romancs
dc.date.createdcs
dc.description.abstractTato práce pojednává o automatových systémech jako o novém způsobu zpracování formálních jazyků. V textu jsou zmíněny čtyři modely. První z nich pracuje v sekvenčním módu. V jednom okamžiku počítá jediná komponenta systému. Druhý z nich pracuje v částečně paralelním módu. Zde během jednoho výpočetního kroku aktivně pracují buďto všechny, nebo pouze jediná komponenta systému. V posledních dvou modelech každý automat zpracovává svůj vlastní vstupní řetězec, přičemž jeho výpočet je řízen stavy, resp. přechody ostatních komponent. Stavy, resp. pravidla přechodů komponent mohou zapříčinit i tzv. blokaci, nebo odblokování dílčích automatů.cs
dc.description.abstractThis paper introduces and discusses automata systems as a new way for formal languages processing. In the text there are four models described. The first model works on sequential mode. At one computation step only one of components works. The second one works on semi-parallel mode. At the one computation step either one or all the components of the automata system work. In the last two models each component of the automata system has its own input string. The computation step of each component is influenced by their states, or used rules. The state, or used rule of the components of automata system can block or unblock some or all automata of the system.en
dc.description.markAcs
dc.identifier.citationČERMÁK, M. Systémy formálních modelů a jejich aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .cs
dc.identifier.other24973cs
dc.identifier.urihttp://hdl.handle.net/11012/53115
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsPřístup k plnému textu prostřednictvím internetu byl licenční smlouvou omezen na dobu 1 roku/letcs
dc.subjectKonečný automatcs
dc.subjectzásobníkový automatcs
dc.subjectgramatické systémycs
dc.subjectautomatové systémycs
dc.subjectmultipřijímací automatové systémycs
dc.subjectFinish automataen
dc.subjectpush-down automataen
dc.subjectgrammar systemsen
dc.subjectautomata systemsen
dc.subjectmultirecognizers automata systemsen
dc.titleSystémy formálních modelů a jejich aplikacecs
dc.title.alternativeSystems of Formal Models with Applicationsen
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.modified2020-05-09-23:39:26cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid24973en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 15:03:28en
sync.item.modts2025.01.15 19:17:36en
thesis.disciplineInteligentní systémycs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
review_24973.html
Size:
1.44 KB
Format:
Hypertext Markup Language
Description:
file review_24973.html
Collections