将DFA转换为通用图灵机

时间:2016-03-21 09:11:15

标签: finite-automata dfa turing-machines deterministic

问题:有没有办法(算法)将确定性有限自动机( DFA 转换为图灵机( TM )?如果是这样;怎么办呢?

背景:我正在编写图灵机,并且发现任务本身非常简单。但是,只要我提供了状态图(转换),就可以了。

另一方面,如果我只是对所述机器的描述,我不知所措。

示例:假设我们有一个TM决定:

A = {w | w contains an equal number of a's and b's}

如何将其转换为实际的图灵机?更确切地说;如何绘制过渡函数?

我已经为这种语言绘制了DFA,因此;我可以将所说的DFA转换为TM吗?

对此的任何帮助都非常感谢。

0 个答案:

没有答案