From LP formulas of the form F(T) to k -ω-regular expressions - A. N. Chebotarev (Cybernetics and Systems Analysis, 2020)