Acessibilidade / Reportar erro

HRL-Local Infinite Triangular Array Languages

ABSTRACT

A new subclass of infinite triangular arrays called hrl-local infinite triangular arrays is introduced. We introduce infinite triangular domino systems to recognize the infinite triangular picture language. Also we introduce strictly domino testable ωω-triangular array languages.

Key words:
hrl-local infinite triangular arrays; infinite triangular domino systems; strictly dommo testable ωω-triangular array languages

Instituto de Tecnologia do Paraná - Tecpar Rua Prof. Algacyr Munhoz Mader, 3775 - CIC, 81350-010 Curitiba PR Brazil, Tel.: +55 41 3316-3052/3054, Fax: +55 41 3346-2872 - Curitiba - PR - Brazil
E-mail: babt@tecpar.br