This HTML5 document contains 51 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n21http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n20http://localhost/temp/predkladatel/
n6http://purl.org/net/nknouf/ns/bibtex#
n19http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/ontology/domain/vavai/
n11https://schema.org/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F04%3APU49114%21RIV06-GA0-26230___/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F04%3APU49114%21RIV06-GA0-26230___
rdf:type
skos:Concept n15:Vysledek
dcterms:description
Kromě derivačních a komunikačních kroků může dvousměrný PC gramatický systém vykonávat kroky redukční během nichž nahradí pravou stranu bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk je definován úsporným způsobem pomocí centralizovaného dvousměrného PC gramatického systému, Γ, který má tři komponenty. Hlavní komponenta obsahuje pouze tři nonterminály a jediné praviddlo obsahující komunikační symbol; dále všechny generované větné formy neobssahují více než dva výskyty nonterminálních symbolů. Během každého výpočtu provede Γ jediný komunikační krok. Na závěr článku jsou diskutovány některé varianty těchto systémů. Besides derivation and communication steps, a two-way PC grammar system can make a reduction step during which it reduces the right-hand side of a context-free production to its left hand-side. This paper proves that every non-unary recursively enumerable language is defined by a centralized two-way grammar system, Γ, with three components in a very economical way. Indeed, Γ?s master has only three nonterminals and one communication production; furthermore, it produces all sentential fforms with no more than two occurrences of nonterminals. In addition, during every computation, Γ makes a single communication step. Some variants of two-way PC grammar system are discussed in the conclusion of this paper. Besides derivation and communication steps, a two-way PC grammar system can make a reduction step during which it reduces the right-hand side of a context-free production to its left hand-side. This paper proves that every non-unary recursively enumerable language is defined by a centralized two-way grammar system, Γ, with three components in a very economical way. Indeed, Γ?s master has only three nonterminals and one communication production; furthermore, it produces all sentential fforms with no more than two occurrences of nonterminals. In addition, during every computation, Γ makes a single communication step. Some variants of two-way PC grammar system are discussed in the conclusion of this paper.
dcterms:title
Dvousměrné PC gramatické systémy založené na regulárních gramatikách A Two-Way PC Grammar Systems Based on Regular Grammars A Two-Way PC Grammar Systems Based on Regular Grammars
skos:prefLabel
A Two-Way PC Grammar Systems Based on Regular Grammars A Two-Way PC Grammar Systems Based on Regular Grammars Dvousměrné PC gramatické systémy založené na regulárních gramatikách
skos:notation
RIV/00216305:26230/04:PU49114!RIV06-GA0-26230___
n4:strany
252-256
n4:aktivita
n18:P
n4:aktivity
P(GA201/04/0441)
n4:dodaniDat
n17:2006
n4:domaciTvurceVysledku
n12:8096287
n4:druhVysledku
n16:D
n4:duvernostUdaju
n8:S
n4:entitaPredkladatele
n5:predkladatel
n4:idSjednocenehoVysledku
553253
n4:idVysledku
RIV/00216305:26230/04:PU49114
n4:jazykVysledku
n13:eng
n4:klicovaSlova
Context-free grammar, left-linear grammar, right-linear grammar, grammar system, communication step, two-way PC grammar systems, derivation, production, sentential form, nonterminal, terminal
n4:klicoveSlovo
n7:derivation n7:left-linear%20grammar n7:production n7:communication%20step n7:nonterminal n7:two-way%20PC%20grammar%20systems n7:right-linear%20grammar n7:grammar%20system n7:Context-free%20grammar n7:terminal n7:sentential%20form
n4:kontrolniKodProRIV
[16AD0FCA17A9]
n4:mistoKonaniAkce
Brno
n4:mistoVydani
Brno
n4:nazevZdroje
Proceedings of 10th Conference and Competition STUDENT EEICT 2004
n4:obor
n14:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n19:GA201%2F04%2F0441
n4:rokUplatneniVysledku
n17:2004
n4:tvurceVysledku
Kaláb, Petr
n4:typAkce
n21:CST
n4:zahajeniAkce
2004-04-29+02:00
s:numberOfPages
5
n6:hasPublisher
Vysoké učení technické v Brně. Fakulta informačních technologií
n11:isbn
80-214-2635-7
n20:organizacniJednotka
26230