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

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

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n18http://localhost/temp/predkladatel/
n16http://purl.org/net/nknouf/ns/bibtex#
n17http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/ontology/domain/vavai/
n9http://linked.opendata.cz/resource/domain/vavai/zamer/
n5https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n22http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F05%3A00206181%21RIV10-GA0-11320___/
n13http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F05%3A00206181%21RIV10-GA0-11320___
rdf:type
skos:Concept n15:Vysledek
dcterms:description
It is known that for monotone deterministic one-way restarting automata, the use of auxiliary symbols does not increase the expressive power. Here we show that the same is true for deterministic two-way restarting automata that are right- or left-monotone. Actually in these cases it suffices to admit delete operations instead of the more general rewrite operations. In addition, we characterize the classes of languages that axe accepted by these types of two-way restarting automata by certain combinations of deterministic pushdown automata and deterministic transducers. It is known that for monotone deterministic one-way restarting automata, the use of auxiliary symbols does not increase the expressive power. Here we show that the same is true for deterministic two-way restarting automata that are right- or left-monotone. Actually in these cases it suffices to admit delete operations instead of the more general rewrite operations. In addition, we characterize the classes of languages that axe accepted by these types of two-way restarting automata by certain combinations of deterministic pushdown automata and deterministic transducers.
dcterms:title
Monotone deterministic RL-automata don't need auxiliary symbols Monotone deterministic RL-automata don't need auxiliary symbols
skos:prefLabel
Monotone deterministic RL-automata don't need auxiliary symbols Monotone deterministic RL-automata don't need auxiliary symbols
skos:notation
RIV/00216208:11320/05:00206181!RIV10-GA0-11320___
n3:aktivita
n10:P n10:Z
n3:aktivity
P(GA201/04/2102), Z(MSM0021620838)
n3:dodaniDat
n13:2010
n3:domaciTvurceVysledku
n17:5680050 n17:2985640
n3:druhVysledku
n21:D
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
531168
n3:idVysledku
RIV/00216208:11320/05:00206181
n3:jazykVysledku
n22:eng
n3:klicovaSlova
Monotone; deterministic; RL-automata; don't; auxiliary; symbols
n3:klicoveSlovo
n7:symbols n7:Monotone n7:don%27t n7:deterministic n7:auxiliary n7:RL-automata
n3:kontrolniKodProRIV
[55128A9263F1]
n3:mistoKonaniAkce
Berlin
n3:mistoVydani
Berlin
n3:nazevZdroje
Developments in Language Theory, Proceedings
n3:obor
n19:JC
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
4
n3:projekt
n4:GA201%2F04%2F2102
n3:rokUplatneniVysledku
n13:2005
n3:tvurceVysledku
Otto, Friedrich Jurdzinski, Tomasz Mráz, František Plátek, Martin
n3:typAkce
n20:WRD
n3:wos
000230874600025
n3:zahajeniAkce
2005-01-01+01:00
n3:zamer
n9:MSM0021620838
s:numberOfPages
12
n16:hasPublisher
Springer-Verlag
n5:isbn
3-540-26546-5
n18:organizacniJednotka
11320