About: Rewriting Systems with Restricted Configurations

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Rewriting Systems with Restricted Configurations Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	This theoretically oriented dissertation discusses rewriting systems, including various automata and grammars.  It concentrates its attention upon their combination.  More specifically, the central role of the present dissertation plays the general notion of a configuration as an instantaneous description of a rewriting system.  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>    As its fundamental topic, the dissertation discusses #-rewriting system,  reducing deep pushdown automaton, and pushdown automata with restricted pushdowns. In addition, it studies some variants of #-rewriting systems, including <i>n</i>-right linear and generalized #-rewriting system.  In general, the dissertation demonstrates how the generative power of th This theoretically oriented dissertation discusses rewriting systems, including various automata and grammars.  It concentrates its attention upon their combination.  More specifically, the central role of the present dissertation plays the general notion of a configuration as an instantaneous description of a rewriting system.  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>    As its fundamental topic, the dissertation discusses #-rewriting system,  reducing deep pushdown automaton, and pushdown automata with restricted pushdowns. In addition, it studies some variants of #-rewriting systems, including <i>n</i>-right linear and generalized #-rewriting system.  In general, the dissertation demonstrates how the generative power of th (en)
Title	Rewriting Systems with Restricted Configurations Rewriting Systems with Restricted Configurations (en)
skos:prefLabel	Rewriting Systems with Restricted Configurations Rewriting Systems with Restricted Configurations (en)
skos:notation	RIV/00216305:26230/08:PU76806!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(2C06008), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Křivka, Zbyněk
http://linked.open.../riv/druhVysledku	B - Odborná kniha
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	392748
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/08:PU76806
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	#-rewriting system, configuration, descriptional complexity, determinism, dynamic complexity, finite index, formal model, generative power, language, language family, <i>n</i>-limitation, <i>m</i>-parallel <i>n</i>-right-linear simple matrix grammar, pro (en)
http://linked.open.../riv/klicoveSlovo	language generative power pro descriptional complexity configuration language family determinism formal model #-rewriting system <i>m</i>-parallel <i>n</i>-right-linear simple matrix grammar <i>n</i>-limitation dynamic complexity finite index
http://linked.open...ontrolniKodProRIV	[2F13F7234554]
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...vEdiceCisloSvazku	NEUVEDEN
http://linked.open...i/riv/nazevZdroje	Rewriting Systems with Restricted Configurations
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...v/pocetStranKnihy	131 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Virtual Laboratory of Microprocessor Technology Application
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Křivka, Zbyněk
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	131 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoké učení technické v Brně. Fakulta informačních technologií
https://schema.org/isbn	978-80-214-3722-7
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Rewriting Systems with Restricted Configurations Rewriting Systems with Restricted Configurations Rewriting Systems with Restricted Configurations Rewriting Systems with Restricted Configurations

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software