TC0'a karşı düzenli

Göre Karmaşıklık Zoo , ve biliyoruz , böylece sayılmaz . Ancak olup olmadığını söylemez . Bildiğimiz olmadığından da biliyoruz olmayan . $\mathsf{Reg} \subseteq \mathsf{NC^1}$ $\mathsf{Reg}$ $\mathsf{TC^0} \not\subseteq \mathsf{Reg}$ $\mathsf{Reg} \subseteq \mathsf{TC^0}$ $\mathsf{NC^1}\not\subseteq\mathsf{TC^0}$ $\mathsf{Reg} \not\subseteq \mathsf{TC^0}$

olmayan bir sorun için aday var mı ? $\mathsf{Reg}$ $\mathsf{TC^0}$

İma şartlı sonucu var , örneğin, eğer sonra ? $\mathsf{Reg} \not\subseteq \mathsf{TC^0}$ $\mathsf{NC^1} \not\subseteq \mathsf{TC^0}$ $\mathsf{Reg} \not\subseteq \mathsf{TC^0}$

— Kaveh
kaynak

Yanıtlar:

alfabe olarak alın ve Barrington, [2] 'de nin azaltımı için tamamladığını kanıtladı (ve hatta aslında daha kısıtlayıcı bir azalma). $S_5$

L = {σ_{1} \dots σ_{n} \in S_{5}^{*} ∣ σ_{1} \circ \dots \circ σ_{n} = Id}

$L= \{ \sigma_1\cdots \sigma_n \in S_5^*\mid \sigma_1\circ\cdots\circ\sigma_n = \text{Id}\}$

L

$L$

{NC}^{1}

$\textrm{NC}^1$

{AC}^{0}

$\textrm{AC}^0$

Özellikle bu ise normal dillerin olmadığını gösterir . Yarıgruplar teorisini kullanarak (daha fazla ayrıntı için Straubing [1] kitabına bakın), kesinlikle ise, tüm normal dillerin veya olduğunu elde ederiz . $\textrm{TC}^0$ $\textrm{TC}^0 \subsetneq \textrm{NC}^1$ $\textrm{ACC}^0$ $\textrm{NC}^1$ $\textrm{NC}^1$ $\textrm{ACC}^0$

[1] Straubing, Howard (1994). Msgstr "Sonlu otomata, biçimsel mantık ve devre karmaşıklığı". Teorik Bilgisayar Biliminde İlerleme. Basel: Birkhäuser. s. 8. ISBN 3-7643-3719-2.

[2] Barrington, David A. Mix (1989). "Sınırlı Genişlikte Polinom-Boyutu Dallanma Programları NC1'deki Bu Dilleri Tam Olarak Tanıyor"

— CP
kaynak

ACC Dahası,

olduğu değil "kesinlikle nc

sonra tüm düzenli dillerdir" ACC

neyse.

^{0}

$^0$

^{1}

$^1$

^{0}

$^0$

$\;\;\;\;$

$\mathrm{NC}^1$ $\mathrm{NC}^1$ $\mathrm{TC}^0$ $\mathrm{TC}^0=\mathrm{NC}^1$

$\mathrm{NC}^1$ $((a|b)^3(ab^∗a|b))^∗$ $S_5$

— Emil Jeřábek 3.0
kaynak

sözdizimsel monoid nedir?

— T ....

Kafa karıştırıcı terminoloji uyarısı: bu bağlamda, bir monoidin bir alt- grup olarak çözülemeyen bir grup içermesi halinde , mutlaka bir submonoid olarak değil, çözülemez olduğu söylenir.

— Emil Jeřábek 3.0

((a | b)^{3} (a b^{*} a | b))^{*}

$((a|b)^3(ab^*a|b))^*$

((a + b) (a b^{*} a b^{*} a b^{*} a + b))^{*}

$((a+b)(ab^*ab^*ab^*a+b))^*$

S - 5

$S-5$

a

$a$

(1, 2, 3, 4, 5)

$(1,2,3,4,5)$

b

$b$

(1, 2, 3, 4)

$(1,2,3,4)$

S_{5}

$S_5$

b a^{- 1}

$ba^{-1}$