Detail publikace
Formal Models: Regulation and Reduction
MASOPUST, T. Formal Models: Regulation and Reduction. Brno: Faculty of Information Technology BUT, 2007. 103 p. ISBN: 978-80-214-3550-6.
Název česky
Formální modely: řízení a redukce
Typ
kniha odborná
Jazyk
anglicky
Autoři
Masopust Tomáš, doc. RNDr., Ph.D.
(CK-SZZ)
Klíčová slova
self-regulating automata, descriptional complexity, conditionalgrammars, scattered context grammars, multisequential grammars,multicontinuous grammars
Abstrakt
Práce je rozdělena do dvou částí. První část zavádí a studujesebeří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šíchkrocích použít. V práci jsou zavedeny dva typy sebeřídících konečnýchautomatů a dokázána nekonečná hierarchie, kterou tyto automaty tvoří vzávislosti na počtu tzv. obrátek.
Druhá část práce se věnujepopisné složitosti částečně paralelních gramatik a gramatikregulovaných kontextovými podmínkami vzhledem k počtu neterminálů ajistých speciálních pravidel.
Rok
2007
Strany
103
ISBN
978-80-214-3550-6
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX
@book{BUT61770,
author="Tomáš {Masopust}",
title="Formal Models: Regulation and Reduction",
year="2007",
publisher="Faculty of Information Technology BUT",
address="Brno",
pages="103",
isbn="978-80-214-3550-6",
url="https://www.fit.vut.cz/research/publication/8553/"
}
Soubory