常规与TC0


14

RegNC1RegTC0RegRegTC0NC1TC0RegTC0

中是否存在没有的问题的候选者?RegTC0

是否有条件结果暗示,例如,如果那么?RegTC0NC1TC0RegTC0

Answers:


15

采取如字母和 大号= { σ 1σ Ñ小号* 5 | σ 1σ Ñ = 编号} Barrington的证明在[2] 大号NC 1 -complete为AC 0减少(甚至与实际上限制更严格)。S5

L={σ1σnS5σ1σn=Id}
LNC1AC0

具体而言,这表明,正规语言不是,如果TC 0NC 1。通过使用半群理论(有关更多详细信息,请参见Straubing [1]),如果ACC 0严格在NC 1中,则所有常规语言都是NC 1完全的ACC 0TC0TC0NC1ACC0NC1个NC1个ACC0

[1] Straubing,霍华德(1994)。“有限自动机,形式逻辑和电路复杂性”。理论计算机科学进展。巴塞尔:伯克豪斯。p。8. ISBN 3-7643-3719-2。

[2] Barrington,David A. Mix(1989)。“有界多项式大小的分支程序可以完全识别NC1中的那些语言”


1
此外,如果ACC 0不是 “严格NC 1,那么所有正规语言”,在ACC 0反正。01个0

14

具有无法解决的句法半形词的常规语言是(由于Barrington;这是N C 1等于统一的width-5分支程序这一更普遍引用的结果的根本原因 )。因此,任何这样的语言不在Ť Ç 0除非Ť Ç 0 = Ñ Ç 1ñC1个ñC1个ŤC0ŤC0=ñC1个

我喜欢的 -complete正则表达式是一个| b 3一个b *一个| b *(这实际上是的编码小号5,如在CP的答案)。ñC1个一种|b3一种b一种|b小号5


1
什么是句法半反义词?
T ....

3
术语混淆的警告:在这种情况下,如果一个等分体包含一个不可解的基团作为一个亚基团,而不一定是一个 monoid,则被认为是不可解的。
EmilJeřábek在2013年

2
一种|b3一种b一种|b

4
((a+b)(abababa+b))
S5

3
a(1,2,3,4,5)b(1,2,3,4)S5ba1
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.