@article{oai:ycc.repo.nii.ac.jp:00001831,
 author = {高橋, 信行 and TAKAHASHI, Nobuyuki},
 issue = {1/2},
 month = {2016-03-09},
 note = {We argue several decompositions of ω-regular sets into rational G_δ sets. We measure the complexity of ω-regular sets by the number of rational G_δ sets obtained by the decompositions. Barua (1992) studied a hierarchy R_n(n=1, 2, 3,…), where R_n is a class of ω-regular sets which are decomposed into n rational G_δ sets forming a decreasing sequence. On the other hand, Kaminski (1985) defined a hierarchy B_m(m=1, 2, 3,…), where B_m is a class of ω-regular sets which are decomposed into 2m rational G_δ sets not necessarily forming a decreasing sequence. Already it is reported that B_n=R_<2n> by Takahashi (1995). And besides we show B_n=R_<2n>, where B_n is a class of ω-regular sets whose defining condition is more lenient than that of R_<2n>. In conclusion, we state that various hierarchies are reduced to four types of hierarchies., 11, KJ00004474337, 論文, Article},
 pages = {225--236},
 title = {Four Hierarchies of ω-Regular Languages},
 volume = {31},
 year = {},
 yomi = {タカハシ, ノブユキ}
}