标签： theory computation-theory turing-machines
我从过去的一篇论文中得到以下问题，我正在研究我的同事和我自己似乎无法回答的问题，我们认为它并非转变为可判定但我们是不确定如何形式化并证明它。
让确定性有限自动机 D 接受所有输入 w 如果 w 包含相等数量的0和1，则字母{0,1}。 正式化决定给定 D 是否接受输入 w 作为语言的计算问题，并显示问题是否为图灵可判定