Restarting Tiling Automata
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10194946" target="_blank" >RIV/00216208:11320/13:10194946 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/68407700:21230/13:00212576
Výsledek na webu
<a href="http://dx.doi.org/10.1142/S0129054113400236" target="_blank" >http://dx.doi.org/10.1142/S0129054113400236</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1142/S0129054113400236" target="_blank" >10.1142/S0129054113400236</a>
Alternativní jazyky
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.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
Rok uplatnění
2013
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ů
Údaje specifické pro druh výsledku
Název periodika
International Journal of Foundations of Computer Science
ISSN
0129-0541
e-ISSN
—
Svazek periodika
24
Číslo periodika v rámci svazku
6
Stát vydavatele periodika
SG - Singapurská republika
Počet stran výsledku
16
Strana od-do
863-878
Kód UT WoS článku
000329121500012
EID výsledku v databázi Scopus
—