About: Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths

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

About: Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths 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
rdfs:seeAlso	http://www.kybernetika.cz/content/2012/1/165
Description	First, this paper discusses tree-controlled grammars with root-to-leaf derivation-tree paths restricted by control languages. It demonstrates that if the control languages are regular, these grammars generate the family of context-free languages. Then, in a similar way, the paper introduces tree-controlled grammars with derivation-tree cuts restricted by control languages. It proves that if the cuts are restricted by regular languages, these grammars generate the family of recursively enumerable languages. In addition, it places a binary-relation-based restriction upon these grammars and demonstrate that this adi- tional restriction does not affect the generative power of these grammars. First, this paper discusses tree-controlled grammars with root-to-leaf derivation-tree paths restricted by control languages. It demonstrates that if the control languages are regular, these grammars generate the family of context-free languages. Then, in a similar way, the paper introduces tree-controlled grammars with derivation-tree cuts restricted by control languages. It proves that if the cuts are restricted by regular languages, these grammars generate the family of recursively enumerable languages. In addition, it places a binary-relation-based restriction upon these grammars and demonstrate that this adi- tional restriction does not affect the generative power of these grammars. (en)
Title	Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths (en)
skos:prefLabel	Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths (en)
skos:notation	RIV/00216305:26230/12:PU98152!RIV13-GA0-26230___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(GD102/09/H042), P(MEB041003), S, Z(MSM0021630528)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Meduna, Alexandr Koutný, Jiří
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	175059
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/12:PU98152
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	context-free grammars, tree-controlled grammars, restricted derivation trees, paths, cuts, language families (en)
http://linked.open.../riv/klicoveSlovo	language families restricted derivation trees paths cuts tree-controlled grammars context-free grammars
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[38FE8D9F02A3]
http://linked.open...i/riv/nazevZdroje	Kybernetika
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems Context-free languages and pushdown automata
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	48
http://linked.open...iv/tvurceVysledku	Meduna, Alexandr Koutný, Jiří
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
issn	0023-5954
number of pages	11 (xsd:int)
http://localhost/t...ganizacniJednotka	26230

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, 35 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software