Restarting Tiling Automata

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10132312" target="_blank" >RIV/00216208:11320/12:10132312 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/68407700:21230/12:00200351
Výsledek na webu
<a href="http://link.springer.com/chapter/10.1007%2F978-3-642-31606-7_25" target="_blank" >http://link.springer.com/chapter/10.1007%2F978-3-642-31606-7_25</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-31606-7_25" target="_blank" >10.1007/978-3-642-31606-7_25</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Restarting Tiling Automata
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Restarting Tiling Automata
Popis výsledku anglicky
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.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Implementation and Application of Automata, 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
ISBN
978-3-642-31605-0
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
12
Strana od-do
289-300
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Porto, Portugal
Datum konání akce
17. 7. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)