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

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

Namespace Prefixes

PrefixIRI
n16http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n19http://localhost/temp/predkladatel/
n18http://purl.org/net/nknouf/ns/bibtex#
n11http://linked.opendata.cz/resource/domain/vavai/projekt/
n6http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/resource/domain/vavai/subjekt/
n20http://linked.opendata.cz/ontology/domain/vavai/
n12https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n22http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F12%3A10132511%21RIV13-GA0-11320___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n23http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F12%3A10132511%21RIV13-GA0-11320___
rdf:type
skos:Concept n20:Vysledek
rdfs:seeAlso
http://ksvi.mff.cuni.cz/workshop/theorietag2012/files/ProcTt12final_v2opt.pdf
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 within 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 within 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
Limited context restarting automata and McNaughton families of languages Limited context restarting automata and McNaughton families of languages
skos:prefLabel
Limited context restarting automata and McNaughton families of languages Limited context restarting automata and McNaughton families of languages
skos:notation
RIV/00216208:11320/12:10132511!RIV13-GA0-11320___
n20:predkladatel
n21:orjk%3A11320
n4:aktivita
n10:S n10:P
n4:aktivity
P(GAP103/10/0783), P(GAP202/10/1333), S
n4:dodaniDat
n9:2013
n4:domaciTvurceVysledku
n6:5680050 n6:3920445
n4:druhVysledku
n13:D
n4:duvernostUdaju
n23:S
n4:entitaPredkladatele
n22:predkladatel
n4:idSjednocenehoVysledku
147083
n4:idVysledku
RIV/00216208:11320/12:10132511
n4:jazykVysledku
n17:eng
n4:klicovaSlova
rewriting systems; McNaughton languages; context restarting automata; Limited
n4:klicoveSlovo
n8:rewriting%20systems n8:McNaughton%20languages n8:context%20restarting%20automata n8:Limited
n4:kontrolniKodProRIV
[5E01913E9E73]
n4:mistoKonaniAkce
Praha
n4:mistoVydani
Praha
n4:nazevZdroje
22nd Theorietag Automata and Formal Languages
n4:obor
n5:IN
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
3
n4:projekt
n11:GAP103%2F10%2F0783 n11:GAP202%2F10%2F1333
n4:rokUplatneniVysledku
n9:2012
n4:tvurceVysledku
Otto, Friedrich Černo, Peter Mráz, František
n4:typAkce
n16:EUR
n4:zahajeniAkce
2012-10-03+02:00
s:numberOfPages
6
n18:hasPublisher
Matfyzpress
n12:isbn
978-80-7378-221-4
n19:organizacniJednotka
11320