2014/05/15 by Iulia Teodora Banu-Demergian, Banu-Demergian, Iulia Teodora, Gheorghe Stefanescu +1
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
paper · pdf · doi:10.48550/arxiv.1405.3791
To appear in: Carpathian J. Math., 2014
arxiv created 2014/05/15 · arxiv updated 2014/05/16
Two-dimensional patterns are used in many research areas in computer science, ranging from image processing to specification and verification of complex software systems (via scenarios). The contribution of this paper is twofold. First, we present the basis of a new formal representation of two-dimensional patterns based on contours and their compositions. Then, we present efficient algorithms to verify correctness of the contour-representation. Finally, we briefly discuss possible applications, in particular using them as a basic instrument in developing software tools for handling two dimensional words.