问题:有没有办法(算法)将确定性有限自动机( DFA )转换为图灵机( TM )?如果是这样;怎么办呢?
背景:我正在编写图灵机,并且发现任务本身非常简单。但是,只要我提供了状态图(转换),就可以了。
另一方面,如果我只是对所述机器的描述,我不知所措。
示例:假设我们有一个TM决定:
A = {w | w contains an equal number of a's and b's}
如何将其转换为实际的图灵机?更确切地说;如何绘制过渡函数?
我已经为这种语言绘制了DFA,因此;我可以将所说的DFA转换为TM吗?
对此的任何帮助都非常感谢。