logo_acta

Acta Mathematica Vietnamica

TYPES OF VARIETIES OF RECOGNIZABLE ω-LANGUAGES AND EILENBERG CORRESPONDENCES

icon-email PHAN TRUNG HUY

Abstract

In this paper, we prove that the correspondences VVω, VV, proposed by D. Perrin (1982) between M-varieties V's of finite monoids and varieties of recognizable omega-languages Vω's and V's are one-to-one. New definitions of saturation and syntactic monoid of adherences of ω-languages basing on the limit operation are introduced. As consequence, a new type of varieties generated by adherences of ω-languages is defined and studied.