22/07/02 23:59:06.05 KGfJgKnJ.net
正規言語は可算無限集合(全ての可算無限集合ではないが)を扱っていて、
しかも集合演算で閉じている。そして、全ての偶数くらいなら、正規言語で表現可能。
コンピュータで正規言語を扱うときの対応物は(通常)正規表現なので、
正規表現を使えば、ある程度の可算無限集合が実質的に扱えている。
ただし、計算資源はコンピュータごとに有限なので、
そのコンピュータの資源量を上回る情報はそもそも入力すらできない。
それでも、プログラムの意図するところはある種の無限集合にちゃんと対応している。
なので、無限集合がある程度扱えても、別に何の不思議もない。