Computerwissenschaften

7
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) ( ¬ x | y) ) | z)xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR}...

7
Anwendungen der Modellzählung

Ich habe über das Modellzählen gelesen, auch bekannt als das # Sat-Problem. Was sind die praktischen Anwendungen dieses Problems, wenn überhaupt, und wie genau reduzieren sie sich darauf? Ich konnte keine finden, obwohl dies einfach auf meine eigene Unkenntnis des Themas zurückzuführen...

7
Ist 0 * entscheidbar?

Ich fand eine Aussage (ohne Erklärung), dass eine Sprache entscheidbar ist. Wie ist das möglich? Ich meine, wie würden wir eine Turing-Maschine bauen, die eine möglicherweise unendliche Folge von Nullen akzeptiert (oder ablehnt)? Ich dachte auch, dass wir vielleicht einen Enumerator erstellen...

7
Wie heißt es, wenn zwei Probleme ähnlich sind?

Angenommen, es gibt zwei Probleme PPP und QQQ. Wie kann ich das sagen "lösen PPP ist das gleiche mit dem Lösen QQQ"? Zum Beispiel, wenn PPP ist NP-Hard, dann können wir sagen "PPP kann in Polynomzeit gelöst werden, wenn ein Algorithmus existiert AAA das löst QQQ in Polynomzeit ". Es sollte eine...