こんにちは, よねすけです. 正則言語 正則言語とは正則表現で表される言語のことです. 同値な表現方法として以下があります. 決定性有限状態オートマトン()で表される言語 非決定性有限状態オートマトン()で表される言語 遷移非決定性有限状態オートマトン()…

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