PREFIX PICTURE CODES: A DECIDABLE CLASS OF TWO-DIMENSIONAL CODES

被引:14
|
作者
Anselmo, Marcella [1 ]
Giammarresi, Dora [2 ]
Madonia, Maria [3 ]
机构
[1] Univ Salerno, Dipartimento Informat, I-84084 Fisciano, SA, Italy
[2] Univ Roma Tor Vergata, Dipartimento Matemat, I-00133 Rome, Italy
[3] Univ Catania, Dipartimento Matemat & Informat, I-95125 Catania, Italy
关键词
Two-dimensional languages; codes; prefix codes; maximality; completeness;
D O I
10.1142/S0129054114400218
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
A twodimensional code of pictures is defined as a set X subset of Sigma** such that any picture over Sigma is tilable in at most one way with pictures in X. It is proved that in general it is undecidable whether a finite set of picture is a code. The subclass of prefix codes is introduced and it is proved that it is decidable whether a finite set of pictures is a prefix code. :Further a polynomial time decoding algorithm for finite prefix codes is given. Maximality and completeness of finite prefix codes are studied.
引用
收藏
页码:1017 / 1031
页数:15
相关论文
共 50 条
  • [41] ON MAXIMAL PREFIX CODES
    Staiger, Ludwig
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2007, (91): : 205 - 207
  • [42] Two-dimensional comma-free and cylindric codes
    Anselmo, Marcella
    Madonia, Maria
    THEORETICAL COMPUTER SCIENCE, 2017, 658 : 4 - 17
  • [43] Multilength two-dimensional codes for optical CDMA system
    Xiu-li Zhou
    Yu Hu
    Optoelectronics Letters, 2005, 1 (3) : 232 - 234
  • [44] Two-Dimensional Corrective Codes Based on Modular Arithmetic
    Yatskiv, Vasyl
    Tsavolyk, Taras
    PROCEEDINGS OF XIIITH INTERNATIONAL CONFERENCE - EXPERIENCE OF DESIGNING AND APPLICATION OF CAD SYSTEMS IN MICROELECTRONICS CADSM 2015, 2015, : 291 - 294
  • [45] Vectorized Matlab codes for linear two-dimensional elasticity
    Koko, Jonas
    SCIENTIFIC PROGRAMMING, 2007, 15 (03) : 157 - 172
  • [46] Bounds on the capacity of weakly constrained two-dimensional codes
    Forchhammer, S
    ISIT: 2002 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2002, : 356 - 356
  • [47] Universal topological phase of two-dimensional stabilizer codes
    Bombin, H.
    Duclos-Cianci, Guillaume
    Poulin, David
    NEW JOURNAL OF PHYSICS, 2012, 14
  • [48] Readability of Processed Digitally Printed Two-Dimensional Codes
    Bogataj, U.
    Muck, T.
    Bracko, S.
    Lozo, B.
    JOURNAL OF IMAGING SCIENCE AND TECHNOLOGY, 2010, 54 (03)
  • [49] Directed figure codes are decidable
    Kolarz, Michal
    Moczurad, Wlodzimierz
    DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2009, 11 (02): : 1 - 13
  • [50] Generalized Construction of Two-Dimensional Complete Complementary Codes
    Davidekova, Monika
    Farkas, Peter
    Ruzicky, Eugen
    2013 36TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS AND SIGNAL PROCESSING (TSP), 2013, : 747 - 750