Computerwissenschaften closure-properties

1

Wenn

Ich möchte beweisen, dass regulär ist, wenn regulär ist, aber ich komme anscheinend nicht weiter. Wenn möglich, hoffte ich auf einen Hinweis, um mich in die richtige Richtung zu bringen. Danke für deine Hilfe.L−−√={w:ww∈L}L={w:ww∈L}\sqrt{L}=\{w:ww\in L\}LLL Meine Idee, um die Regelmäßigkeit der Quadratwurzelsprache zu demonstrieren, war es, zwei Maschinen zu betrachten, …

7 formal-languages regular-languages finite-automata closure-properties

3

Wie XOR-Automaten?

Angenommen, wir haben 3 DFAs. Wir wissen, wie man sie ODER, UND oder NICHT. Aber wie macht man sie XOR? Es gibt keine einzige Erwähnung online. xX O R.yX O R.z= ( ( x | y) ( ¬ x | y) | z) ( ¬ ( ( x | y) …

7 automata finite-automata closure-properties

1

Wenn L kontextfrei ist, muss FH (L) kontextfrei sein?

Definieren FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with } |x| = |y| \text{ such that } xy \in L\}. Mit anderen Worten,FH(L)FH(L)FH(L) ist die Menge der ersten Hälften von Saiten gleicher Länge in LLL. Vor …

7 formal-languages context-free closure-properties

4

Ist die Klasse NP unter Ergänzung geschlossen?

Ist die Klasse unter Komplement geschlossen oder ist sie unbekannt? Ich habe online gesucht, aber ich konnte nichts finden.N P.N.P.\sf NP

7 complexity-theory closure-properties complexity-classes np

1

Wie zeichnet man eine Ergänzung einer Turingmaschine?

Ich bin jetzt ziemlich zuversichtlich, wie ich etwas in eine Turingmaschine verwandeln würde. Meine Frage ist nun, wie Sie TM in eine Ergänzung einer Turingmaschine umwandeln können. Soweit ich mich in Finite Automata erinnern kann, würden Sie als Ergänzung einen Startzustand in einen Endzustand verwandeln. Wenn Sie einen Endzustand haben, …

7 turing-machines automata closure-properties

1

Wie kann man beweisen, dass kontextsensitive Sprachen unter Überschneidung und Ergänzung geschlossen sind?

Dies ist eine Frage aus der Prüfung unseres Kurses "Automaten und formale Sprachen". Es wurde eine Frage gestellt, um zu beweisen oder zu widerlegen, dass jede "relative Komplement" -Operation zwischen zwei kontextsensitiven Sprachen auch eine kontextsensitive Sprache erzeugt. Aus den kontextsensitiven Schließungseigenschaften Wikipedia und princeton.edu . Ich weiß, dass diese …

7 formal-languages closure-properties context-sensitive

1

Ist #P unter Potenzierung geschlossen? Modulo?

Die Komplexitätsklasse ist definiert als# P.#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} . Es ist bekannt, dass unter Addition, Multiplikation und Binomialkoeffizient geschlossen wird. Ich habe mich gefragt, ob es unter …

7 complexity-theory turing-machines closure-properties

Als «closure-properties» getaggte Fragen