Rewriting Systems with Restricted Configurations

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU76806" target="_blank" >RIV/00216305:26230/08:PU76806 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Rewriting Systems with Restricted Configurations

Original language description

This theoretically oriented dissertation discusses rewriting systems, including various automata and grammars.&nbsp; It concentrates its attention upon their combination.&nbsp; More specifically, the central role of the present dissertation plays the general notion of a configuration as an instantaneous description of a rewriting system.&nbsp; Based upon various restrictions placed upon configurations and rewriting modes, the systems are classified and studied. Apart from this major topic, the dissertation also discusses dynamic complexity, which is based upon metrics placed upon the process of yielding strings.<br><br>&nbsp;&nbsp; &nbsp;As its fundamental topic, the dissertation discusses #-rewriting system,&nbsp; reducing deep pushdown automaton, andpushdown automata with restricted pushdowns. In addition, it studies some variants of #-rewriting systems, including <i>n</i>-right linear and generalized #-rewriting system.&nbsp; In general, the dissertation demonstrates how the genera

Czech name

Přepisující systémy s omezenými konfiguracemi

Czech description

Tato teoreticka dizertační práce zastřešuje pod pojmem přepisující systémy formalní modely gramatik a automatů a zkoumá možnosti jejich kombinování. Zobecňuje pojem konfigurace pro označení vnitřního stavu přepisujících systemů a sjednocuje i některé další pojmy z oblasti gramatik a automatů.<br>Dále klasifikuje různé přístupy k omezování přepisujících systemů s důrazem na omezování konfigurací a posloupnosti aplikovaných pravidel. Práce též představuje pojem dynamická složitost, který se zaměřuje na omezování vybraných metrik při procesu zpracovávání věty přepisujícím systémem.<br><br>&nbsp;&nbsp; Hlavní část práce představuje dva nové kombinované modely (#-přepisující systémy a redukující hluboké zásobníkové automaty) a jeden omezovaný systém (zásobníkové automaty s omezeným obsahem zásobníku). V případě #-přepisujících systémů bylo navíc detailněji studováno několik modifikací (n-pravě-lineárn

Type

B - Specialist book

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/2C06008" target="_blank" >2C06008: Virtual Laboratory of Microprocessor Technology Application</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

2008

Confidentiality

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

ISBN

978-80-214-3722-7

Number of pages

131

Publisher name

Faculty of Information Technology BUT

Place of publication

Brno

UT code for WoS book

—