はどの非正規言語がありますか?


11

たとえば、非正規言語がA C 0にあることを知っています。このような例をもっと知りたいのですが。anbnAC0


パリンドローム(){wwR}
— Vor

とは何ですか?AC0
— フォンブランド、2013

@vonbrand、は、無限のファンインのゲートおよび/またはゲートを含む一定深度回路のクラスです。すなわち、回路内の各ゲートは、「AND」または「OR」ゲートであり、入ってくる入力の無制限の数を可能にする、である。AC0
— ニコラスマンクーソ

回答:


9

言語は、単純な直感が示唆するよりも複雑になる可能性があります。AC0

  • 明らかに、は{ a n b n c n }が含まれており、これはコンテキストフリーではありません。AC0{anbncn}
  • すべての単項言語は一様でないです。たとえば、単項で表現された停止問題。AC0
  • AC02nn+1AC0
  • {wx:|w|=2n,|x|=n,w[x]=1}AC0

    2n+n2nn

  • AC0

    n

  • AC0≥12+ε

AC0Parity∉AC0


AC0AC0⊆AC=NC⊆P

1
AC0P/poly

@PålGD、それはアローラとバラクのテキストに配置されています。
— Nicholas Mancuso 2013

多重化がAC0であることを証明するリファレンスはありますか?
— Alex Grilo 2013

1
⋁i=02n−1(x=i∧w[i]=1)
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.