オタクof数理の共同ブログ

京大情報学科数理工学コースの学生4人による共同ブログです

計算理論

正則言語

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

チューリングマシンが受理する言語

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