A note on identities of two-dimensional languages

被引：3
|
作者：
Dolinka, I [1 ]
机构：
[1] Univ Novi Sad, Dept Math & Informat, YU-21000 Novi Sad, Serbia Monteneg, Serbia
来源：
DISCRETE APPLIED MATHEMATICS | 2005年 / 146卷 / 01期
关键词：
two-dimensional (picture) language; bi-language; equational theory; free algebra;
D O I：
10.1016/j.dam.2004.07.004
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
In this note we consider identical laws satisfied by two-dimensional (picture) languages. collections of rectangular arrays over a given alphabet. We prove that an identity alpha = beta holds for all picture languages if and only if alpha and beta represent the same bi-language (a subset of a free bi-monoid). As a consequence. we obtain decidability of the equational theory of picture languages, a description of free objects in the variety generated by picture language algebras, and prove that such a variety does not have a finite equational axiomatization. (C) 2004 Elsevier B.V. All rights reserved.
引用
收藏
页码：43 / 50
页数：8
相关论文
共 50 条
12345