Memoirs of the Faculty of Engineering, Yamaguchi University

Back to Top

Memoirs of the Faculty of Engineering, Yamaguchi University Volume 30 Issue 2
published_at 1980

AFM Property of Two-Dimensional On-Line Tessellation Acceptors

2 次元オンラインテセレーションアクセプタの AFM 性
Inoue Katsushi
Takanami Itsuo
Taniguchi Hiroshi
fulltext
301 KB
KJ00000156315.pdf
Descriptions
A family of matrix languages (or two-dimensional languages) is called an abstract family of matrices (AFM) if it is closed under the six operations of union, (column) catenation, Kleene closure. ε-free homomorphism, inverse homomorphism, and intersection with regular matrix languages. This paper shows that the class of sets accepted by nondeterministic two-dimensional on-line tessellation acceptors is an AFM, but the class of sets accepted by deterministic two-dimensional on-line tessellation acceptors is not an AFM.