On Subclasses of Recognizable ωω−Partial Array Languages

Abstract

In this paper, the concepts of infinite partial array languages (ωω−partial array languages) and the classes of ωω−partial array languages, namely, local ωω−partial array languages, Buchi local ωω−partial array languages, and Muller local ωω−partial array languages are defined, and their related properties are studied. Furthermore, we introduce nondeterministic finite online tessellation h-automata on ωω−partial array languages. In addition, we prove that the class of all adherences of finite local partial array languages is equal to the class of all local ωω−partial array languages and also prove that every ωω−regular partial array language is a projection of Buchi local ωω−partial array language.