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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n5http://localhost/temp/predkladatel/
n13http://linked.opendata.cz/resource/domain/vavai/projekt/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/ontology/domain/vavai/
n15http://linked.opendata.cz/resource/domain/vavai/zamer/
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#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F05%3A00000803%21RIV06-MSM-11320___/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F05%3A00000803%21RIV06-MSM-11320___
rdf:type
skos:Concept n14:Vysledek
dcterms:description
It is known that the weakly monotone restarting automata accept exactly the growing context-sensitive languages. We introduce a measure on the degree of weak monotonicity and show that the language classes obtained in this way form strict hierarchies for the various types of deterministic and nondeterministic restarting automata without auxiliary symbols. It is known that the weakly monotone restarting automata accept exactly the growing context-sensitive languages. We introduce a measure on the degree of weak monotonicity and show that the language classes obtained in this way form strict hierarchies for the various types of deterministic and nondeterministic restarting automata without auxiliary symbols. Je známo, že slabě monotonní restartovací automaty rozpoznávají právě všechny rostoucí kontextové jazyky. Zavádíme míru slabé monotonie a ukazujeme, že třídy jazyků, které takto dostaneme tvoří vlastní nekonečné hierarchie pro různé typy deterministických i nedeterministických restartovacích automatů bez pomocných symbolů.
dcterms:title
Hierarchies of weakly monotone restarting automata Hierarchie slabě monotonních restartovacích automatů Hierarchies of weakly monotone restarting automata
skos:prefLabel
Hierarchies of weakly monotone restarting automata Hierarchie slabě monotonních restartovacích automatů Hierarchies of weakly monotone restarting automata
skos:notation
RIV/00216208:11320/05:00000803!RIV06-MSM-11320___
n4:strany
325;342
n4:aktivita
n7:Z n7:P
n4:aktivity
P(GA201/02/1456), P(GA201/04/2102), Z(MSM0021620838)
n4:cisloPeriodika
2
n4:dodaniDat
n10:2006
n4:domaciTvurceVysledku
n11:5680050
n4:druhVysledku
n18:J
n4:duvernostUdaju
n9:S
n4:entitaPredkladatele
n16:predkladatel
n4:idSjednocenehoVysledku
523246
n4:idVysledku
RIV/00216208:11320/05:00000803
n4:jazykVysledku
n17:eng
n4:klicovaSlova
Hierarchies; weakly; monotone; restarting; automata
n4:klicoveSlovo
n12:restarting n12:weakly n12:Hierarchies n12:monotone n12:automata
n4:kodStatuVydavatele
FR - Francouzská republika
n4:kontrolniKodProRIV
[4A7036202CFE]
n4:nazevZdroje
RAIRO - Theoretical Informatics and Applications
n4:obor
n19:BD
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:projekt
n13:GA201%2F02%2F1456 n13:GA201%2F04%2F2102
n4:rokUplatneniVysledku
n10:2005
n4:svazekPeriodika
39
n4:tvurceVysledku
Mráz, František
n4:zamer
n15:MSM0021620838
s:issn
0988-3754
s:numberOfPages
18
n5:organizacniJednotka
11320