Kniha

MASOPUST Tomáš. Formal Models: Regulation and Reduction. Brno: Fakulta informačních technologií VUT v Brně, 2007. 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. Poslední změna
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{\'{a}}{\v{s}} 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.cs?id=8553}
}

Vaše IPv4 adresa: 3.81.28.94
Přepnout na https