Questions tagged «unary-languages»

1
空问题无法确定的最简单的计算模型是什么?
空问题无法确定的最简单的计算模型是什么? 计算模型的空性问题(例如,有限状态自动机,交替下推自动机,带计数器的有界误差量子自动机,确定性LBA等)将确定对于给定的这种机器,该机器是否识别/定义了语言是空的。这里对机器的描述应该是有限的! 我知道“最简单”这个词有点含糊。对于某些无与伦比的计算模型,可能会有多个答案。 作为一个特别的评论,我认为,通过分别关注一元和二进制字母,这个问题将变得更加有趣。 请注意,有许多计算模型可以确定停止问题,但无法确定空性问题(以及其他一些问题),例如线性有界自动机(LBA)。

1
单向交替自动机可以识别某些一元非常规语言吗?
单向交替下推自动机(1APDA)可以识别任何语言(Chandra,Kozen和Stockmeyer,1981年交替发表)。通过将1APDA的下推式存储替换为计数器,我们可以获得具有单计数器(1ACA)的单向交替自动机。我的问题是关于一元语言上的1ACA。DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) 1ACA可以识别某些一元非常规语言吗? 请注意,单向非确定性下推自动机只能识别一元常规语言。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.