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

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F12%3A10132312%21RIV13-GA0-11320___
rdf:type
skos:Concept n15:Vysledek
rdfs:seeAlso
http://link.springer.com/chapter/10.1007%2F978-3-642-31606-7_25
dcterms:description
We present a new model of a two-dimensional computing device called restarting tiling automaton. The automaton defines a set of tile-rewriting, weight-reducing rules and a scanning strategy by which a tile to rewrite is being searched. We investigate properties of the induced families of picture languages. Special attention is paid to picture languages that can be accepted independently of the scanning strategy. We show that this family strictly includes REC and exhibits similar closure properties. Moreover, we prove that its intersection with the set of one-row languages coincides with the regular languages. We present a new model of a two-dimensional computing device called restarting tiling automaton. The automaton defines a set of tile-rewriting, weight-reducing rules and a scanning strategy by which a tile to rewrite is being searched. We investigate properties of the induced families of picture languages. Special attention is paid to picture languages that can be accepted independently of the scanning strategy. We show that this family strictly includes REC and exhibits similar closure properties. Moreover, we prove that its intersection with the set of one-row languages coincides with the regular languages.
dcterms:title
Restarting Tiling Automata Restarting Tiling Automata
skos:prefLabel
Restarting Tiling Automata Restarting Tiling Automata
skos:notation
RIV/00216208:11320/12:10132312!RIV13-GA0-11320___
n15:predkladatel
n22:orjk%3A11320
n4:aktivita
n6:P
n4:aktivity
P(GAP103/10/0783), P(GAP202/10/1333)
n4:dodaniDat
n16:2013
n4:domaciTvurceVysledku
n10:5680050
n4:druhVysledku
n21:D
n4:duvernostUdaju
n12:S
n4:entitaPredkladatele
n18:predkladatel
n4:idSjednocenehoVysledku
165280
n4:idVysledku
RIV/00216208:11320/12:10132312
n4:jazykVysledku
n23:eng
n4:klicovaSlova
restarting automata; tiling systems; two-dimensional languages
n4:klicoveSlovo
n5:two-dimensional%20languages n5:tiling%20systems n5:restarting%20automata
n4:kontrolniKodProRIV
[8EB6D346F5E8]
n4:mistoKonaniAkce
Porto, Portugal
n4:mistoVydani
Berlin
n4:nazevZdroje
Implementation and Application of Automata, 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
n4:obor
n13:IN
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:projekt
n17:GAP103%2F10%2F0783 n17:GAP202%2F10%2F1333
n4:rokUplatneniVysledku
n16:2012
n4:tvurceVysledku
Mráz, František Průša, Daniel
n4:typAkce
n9:WRD
n4:zahajeniAkce
2012-07-17+02:00
s:issn
0302-9743
s:numberOfPages
12
n8:doi
10.1007/978-3-642-31606-7_25
n24:hasPublisher
Springer-Verlag
n14:isbn
978-3-642-31605-0
n19:organizacniJednotka
11320