On recognizable infinite array languages

被引:0
|
作者
Gnanasekaran, S [1 ]
Dare, VR
机构
[1] Periyar Arts Coll, Dept Math, Cuddalore 607001, Tamil Nadu, India
[2] Madras Christian Coll, Dept Math, Madras 600059, Tamil Nadu, India
来源
关键词
array; prefix; local language; recognizable array language; on-line tesselation automaton; learning;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
A recognizable infinite array language or recognizable omegaomega-language is defined as the image of a local ww-language by an alphabetic morphism. Here, we introduce Wang systems for omegaomega-languages and prove that the class of omegaomega-languages obtained by Wang systems is the same as the class of recognizable omegaomega-languages. We give automata characterization to the recognizable omegaomega-languages. We provide an algorithm for learning recognizable infinite array languages from positive data and restricted superset queries.
引用
收藏
页码:209 / 218
页数:10
相关论文
共 50 条
  • [2] A SURVEY OF RECOGNIZABLE LANGUAGES OF INFINITE TRACES
    GASTIN, P
    PETIT, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 609 : 392 - 409
  • [3] On Subclasses of Recognizable ?? - Partial Array Languages
    Muhiuddin, G.
    Janaki, K.
    Al-Kadi, D.
    Arulprakasam, R.
    Govindan, V.
    [J]. JOURNAL OF MATHEMATICS, 2022, 2022
  • [4] RECOGNIZABLE AND RATIONAL LANGUAGES OF FINITE AND INFINITE TRACES
    GASTIN, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 89 - 104
  • [5] On the logical definability of topologically closed recognizable languages of infinite trees
    Janin, D
    Lenzi, G
    [J]. COMPUTING AND INFORMATICS, 2002, 21 (03) : 185 - 203
  • [6] On recognizable timed languages
    Maler, O
    Pnueli, A
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2004, 2987 : 348 - 362
  • [7] RECOGNIZABLE LANGUAGES AND CONGRUENCES
    THERIEN, D
    [J]. SEMIGROUP FORUM, 1981, 23 (04) : 371 - 373
  • [8] HRL-Local Infinite Triangular Array Languages
    Rajaselvi, V. Devi
    Kalyani, T.
    Thomas, D. G.
    [J]. BRAZILIAN ARCHIVES OF BIOLOGY AND TECHNOLOGY, 2016, 59
  • [9] Recognizable picture languages and polyominoes
    Castiglione, Giusi
    Vaglica, Roberto
    [J]. ALGEBRAIC INFORMATICS, 2007, 4728 : 160 - 171
  • [10] RECOGNIZABLE COMPLEX TRACE LANGUAGES
    DIEKERT, V
    GASTIN, P
    PETIT, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 131 - 140