【发布时间】:2011-05-17 08:04:04
【问题描述】:
您知道实现图灵机和有限状态自动机等抽象机器的任何编程语言吗?
即处理以下输入:
- 一个 5 元组 (The notorious ⟨Q,Σ,δ,q0,F⟩ from formal languages 101)、一个用于图灵机的 7-tuple 或抽象机器的任何其他形式表示。
- 一个输入词。
并告诉我输入的词是否是接受词。
谢谢,
亚当
【问题讨论】:
标签: programming-languages theory turing-machines automata-theory