Kniha

 
Masopust, T.: Formal Models: Regulation and Reduction, Brno, CZ, FIT VUT, 2007, s. 103, ISBN 978-80-214-3550-6
Jazyk publikace:angličtina
Název publikace:Formal Models: Regulation and Reduction
Název (cs):Formální modely: řízení a redukce
Strany:103
Místo vydání:Brno, CZ
Rok:2007
ISBN:978-80-214-3550-6
Vydavatel:Fakulta informačních technologií VUT v Brně
Soubory: 
+Typ Jméno Název Vel. Změněn
iconmasopust-phdthesis-fitmono.pdfFormální modely: řízení a redukce415 KB2008-02-06 14:50:03
^ Vybrat vše
S vybranými:
Klíčová slova
self-regulating automata, descriptional complexity, conditional grammars, scattered context grammars, multisequential grammars, multicontinuous grammars
Anotace
Práce je rozdělena do dvou částí. První část zavádí a studuje sebeřídící automaty. Hlavní myšlenkou je, že automat má na základě předchozích kroků omezenou množinu pravidel, kterou může v dalších krocích použít. V práci jsou zavedeny dva typy sebeřídících konečných automatů a dokázána nekonečná hierarchie, kterou tyto automaty tvoří v závislosti na počtu tzv. obrátek.

Druhá část práce se věnuje popisné složitosti částečně paralelních gramatik a gramatik regulovaných kontextovými podmínkami vzhledem k počtu neterminálů a jistých speciálních pravidel.
BibTeX:
@BOOK{
   author = {Tomáš Masopust},
   title = {Formal Models: Regulation and Reduction},
   pages = {103},
   year = {2007},
   location = {Brno, CZ},
   publisher = {Faculty of Information Technology BUT},
   ISBN = {978-80-214-3550-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8553}
}