Tome como alfabeto e
Barrington provou em [2] que L é \ textrm {NC} ^ 1 -complete a redução \ textrm {AC} ^ 0 (e mesmo com uma redução mais restritiva, na verdade). L = { σ 1 ⋯ σ n ∈ S * 5 | σ 1 ∘ ⋯ ∘ σ n = Id } L NC 1 AC 0S5
L = { σ1⋯ σn∈ S∗5∣ σ1∘ ⋯ ∘ σn= Id }
euNC1AC0 0
Em particular, isso mostra que os idiomas regulares não estão em TC0 0 se TC0 0⊊ NC1 . Usando a teoria dos semigrupos (veja o livro de Straubing [1] para obter mais detalhes), obtemos que se ACC0 0 estiver estritamente em NC1 , todos os idiomas regulares serão NC1 -complete ou ACC0 0 .
[1] Straubing, Howard (1994). "Autômatos finitos, lógica formal e complexidade de circuitos". Progresso em Ciência da Computação Teórica. Basileia: Birkhäuser. p. 8. ISBN 3-7643-3719-2.
[2] Barrington, David A. Mix (1989). "Programas de ramificação de tamanho polinomial de largura limitada reconhecem exatamente esses idiomas no NC1"