Constructing a -ω-regular expression specified by an elementary extensions graph - A. M. Chebotarov (Cybernetics and Systems Analysis, 2022)