of regular ω-languages consisting of ultimately periodic words only. Next, in. Section 4 we define the class of UPA as the automaton-based ...
確定! 回上一頁