こんにちは, よねすけです.今回はチューリングマシンの話を書きたいと思います. 以下チューリングマシンをTMと省略します. 帰納的可算集合(Recursively Enumerable) 言語が帰納的可算集合であるとは, あるTMによってと書けることを言います. この集合をと書…