Mathtodon
#たのしいけいさんろん

9月になりました.決定不能問題ギャラリー第9弾は「文脈自由言語の普遍性判定問題」です!
iso.2022.jp/math/undecidable-p
プッシュダウンオートマトンは「Turing機械の計算の履歴である」ことを検査する能力を持たない一方で,「計算の履歴でない」ことは検査できることを見ます.
mathtod.online/media/gBI_iby-Y mathtod.online/media/N6P74cUfe mathtod.online/media/kf5eKU1oS mathtod.online/media/cgZG-ROTX