手頃な演習問題のメモ。 を（空でない）有限集合とし を 上の正規言語の集合とする。この集合に部分集合関係によって順序集合となる：つまり について、 iff 。この順序について はCPOを成すか。証明または反例を与えよ。 この問題そのものがひっかけ問題っ…