Recognizable picture languages and polyominoes

被引:0
|
作者
Castiglione, Giusi [1 ]
Vaglica, Roberto [1 ]
机构
[1] Univ Palermo, Dipartimento Matemat & Applicaz, I-90123 Palermo, Italy
来源
ALGEBRAIC INFORMATICS | 2007年 / 4728卷
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We consider the problem of recognizability of some classes of polyominoes in the theory of picture languages. In particular we focus our attention on the problem posed by Matz of finding a nonrecognizable picture language for which his technique for proving the non-recognizability of picture languages fails. We face the problem by studying the family of L-convex polyominoes and some closed families that are similar to the recognizable family of all polyominoes but result to be non-recognizable. Furthermore we prove that the family of L-convex polyominoes satisfies the necessary condition given by Matz for the recognizability and we conjecture that the family of L-convex polyominoes is non-recognizable.
引用
收藏
页码:160 / 171
页数:12
相关论文
共 50 条
  • [41] Languages recognizable by quantum finite automata
    Freivalds, R
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 3845 : 1 - 14
  • [42] Unambiguous recognizable two-dimensional languages
    Anselmo, Marcella
    Giammarresi, Dora
    Madonia, Maria
    Restivo, Antonio
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2006, 40 (02) : 277 - 293
  • [43] Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages
    Kobele, Gregory M.
    [J]. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, LACL 2011, 2011, 6736 : 129 - 144
  • [44] RECOGNIZABLE AND RATIONAL LANGUAGES OF FINITE AND INFINITE TRACES
    GASTIN, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 89 - 104
  • [45] AN UPPER BOUND ON THE COMPLEXITY OF RECOGNIZABLE TREE LANGUAGES
    Finkel, Olivier
    Lecomte, Dominique
    Simonnet, Pierre
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2015, 49 (02) : 121 - 137
  • [46] Recognizable Languages of k-Forcing Automata
    Shamsizadeh, Marzieh
    Zahedi, Mohammad Mehdi
    Abolpour, Khadijeh
    De la sen, Manuel
    [J]. MATHEMATICAL AND COMPUTATIONAL APPLICATIONS, 2024, 29 (03)
  • [47] Minimal equational representations of recognizable tree languages
    Fulop, Z
    Vagvolgyi, S
    [J]. ACTA INFORMATICA, 1997, 34 (01) : 59 - 84
  • [48] Weighted Languages Recognizable by Weighted Tree Automata
    Fulop, Zoltan
    Gazdag, Zsolt
    [J]. ACTA CYBERNETICA, 2018, 23 (03): : 867 - 886
  • [49] Free group languages: Rational versus recognizable
    Silva, PV
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2004, 38 (01): : 49 - 67