This HTML5 document contains 45 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/
n4http://localhost/temp/predkladatel/
n11http://linked.opendata.cz/resource/domain/vavai/projekt/
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F14%3A10290088%21RIV15-MSM-11320___/
shttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n19http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F14%3A10290088%21RIV15-MSM-11320___
rdf:type
skos:Concept n15:Vysledek
rdfs:seeAlso
http://dx.doi.org/10.1051/ita/2014001
dcterms:description
In the literature various types of restarting automata have been studied that are based on contextual rewriting. A word w is accepted by such an automaton if, starting from the initial configuration that corresponds to input w, the word w is reduced to the empty word by a finite number of applications of these contextual rewritings. This approach is reminiscent of the notion of McNaughton families of languages. Here we put the aforementioned types of restarting automata into the context of McNaughton families of languages, relating the classes of languages accepted by these automata in particular to the class GCSL of growing context-sensitive languages and to the class CRL of Church-Rosser languages. In the literature various types of restarting automata have been studied that are based on contextual rewriting. A word w is accepted by such an automaton if, starting from the initial configuration that corresponds to input w, the word w is reduced to the empty word by a finite number of applications of these contextual rewritings. This approach is reminiscent of the notion of McNaughton families of languages. Here we put the aforementioned types of restarting automata into the context of McNaughton families of languages, relating the classes of languages accepted by these automata in particular to the class GCSL of growing context-sensitive languages and to the class CRL of Church-Rosser languages.
dcterms:title
On the Clases of Languages Accepted by Limited Context Restarting Automata On the Clases of Languages Accepted by Limited Context Restarting Automata
skos:prefLabel
On the Clases of Languages Accepted by Limited Context Restarting Automata On the Clases of Languages Accepted by Limited Context Restarting Automata
skos:notation
RIV/00216208:11320/14:10290088!RIV15-MSM-11320___
n3:aktivita
n8:S n8:P
n3:aktivity
P(GAP103/10/0783), P(GAP202/10/1333), S
n3:cisloPeriodika
1
n3:dodaniDat
n12:2015
n3:domaciTvurceVysledku
n7:5680050 n7:3920445
n3:druhVysledku
n10:J
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
34406
n3:idVysledku
RIV/00216208:11320/14:10290088
n3:jazykVysledku
n20:eng
n3:klicovaSlova
McNaughton family of languages; contextual rewriting; Restarting automaton
n3:klicoveSlovo
n17:McNaughton%20family%20of%20languages n17:Restarting%20automaton n17:contextual%20rewriting
n3:kodStatuVydavatele
FR - Francouzská republika
n3:kontrolniKodProRIV
[765AAC68B542]
n3:nazevZdroje
RAIRO - Theoretical Informatics and Applications
n3:obor
n18:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
3
n3:projekt
n11:GAP103%2F10%2F0783 n11:GAP202%2F10%2F1333
n3:rokUplatneniVysledku
n12:2014
n3:svazekPeriodika
48
n3:tvurceVysledku
Mráz, František Otto, Friedrich Černo, Peter
n3:wos
000333753000005
s:issn
0988-3754
s:numberOfPages
24
n19:doi
10.1051/ita/2014001
n4:organizacniJednotka
11320