Formal models: regulation and reduction

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU73408" target="_blank" >RIV/00216305:26230/07:PU73408 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Formal models: regulation and reduction

Original language description

The subject of this monograph is divided into two parts-regulated and reduced formal models.<br><br>The first part introduces and studies self-regulating finite and pushdown automata. In essence, these automata regulate the use of their rules by a sequence of rules applied during the previous moves. A special attention is paid to turns defined as moves during which a self-regulating automaton starts a new self-regulating sequence of moves.<br><br>Based on the number of turns, two infinite hierarchies oflanguage families resulting from two variants of these automata are established (see Sections 4.1.1 and 4.1.2). Section 4.1.1 demonstrates that in case of self-regulating finite automata these hierarchies coincide with the hierarchies resulting from parallel right linear and right linear simple matrix grammars, so the self-regulating finite automata can be viewed as the automaton counterparts to these grammars. Finally, both infinite hierarchies are compared. In addition, Section 4.1.2

Czech name

Formální modely: řízení a redukce

Czech description

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.<br><br>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.

Type

B - Specialist book

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GD102%2F05%2FH050" target="_blank" >GD102/05/H050: Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-80-214-3550-6

Number of pages

103

Publisher name

Faculty of Information Technology BUT

Place of publication

Brno

UT code for WoS book

—