我知道一点什么是a图灵机 /questions/tagged/turing-machine and a 图灵完备 /questions/tagged/turing-complete语言,但为了更好地理解,有人可以举出非图灵完备的语言的例子吗? (甚至可能不是图灵机?)
正则表达式,在正式定义中,仅包含:
- 连接 ( ab )
- 无限重复 (a*)
- 交替 (a|b)
- 分组 ( (ab)|(cd) )
只能识别常规语言。图灵完备的编程语言可以识别递归可枚举语言。
一个例子是正则表达式无法告诉您字符串是否由匹配的括号对组成:例如()(())
被接受,同时()((())()
被拒绝,而图灵完备的编程语言可以。
(请注意,现代编程语言中的正则表达式比正则表达式的正式学术定义更强大。有些甚至可能是图灵完整的。)
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)