Für meine Bachelorarbeit betrachte ich die Klasse von Sprachen, die von symmetrischen DFAs erkannt werden, dh deterministische (vollständige) endliche Automaten, die die folgende Bedingung erfüllen: Sei ein vollständiger DFA über dem Alphabet . Wenn es für jedes a \ in \ Sigma und jeden Übergang u...
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...
Seik∈Nk∈Nk\in \mathbb N Ich suche nach einem kleinen NFA-Build für die Sprache der Verkettung von zwei Wörtern der Länge die unterschiedlich sind, dhkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Beachten Sie,...
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}...
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...
Ich überprüfe einige Notizen zu Baumautomaten und versuche, einen Beweis dafür zu finden, dass der Professor unvollständig ist. Die Aussage lautet: Sei und . Beweisen Sie, dass Buchi nicht erkennbar ist.A={a,b}A={a,b}A = \{a,b\}T={t∈TωA∣every path in t contains a finite number of a}T={t∈TAω∣every...
Ich habe nie einen Debugger verwendet, der ein Programm rückwärts ausführen kann, aber ich würde es gerne tun. Jetzt frage ich mich, ob es viele Beweise und Theorien zur rückwärts laufenden Programmierung gibt, wann und warum ein Programm rückwärts ausgeführt werden kann oder wann und warum nicht?...
Wir wissen, dass reguläre Ausdrücke (RE) mit endlichen Automaten (FA) implementiert werden. In einigen Sprachen (wie JavaScript) in RE gibt es Funktionen wie "Erfassen von Klammern" mit "Rückreferenzen":
Es ist bekannt, dass das Universalitätsproblem für NFA (Entscheidung, ob ) vollständig ist. Was ist jedoch, wenn bekannt ist, dass jeder Staat der NFA akzeptiert? Es scheint mir , dass das Problem bei den meisten in ist - , als Gegenbeispiel (anders als im Fall eines allgemeinen NFA) ist Polynom...
Ich nehme an einem Computertheoriekurs teil und mein Professor sagte uns, dass ein Pushdown-Automat keine anderen Datenstrukturen als einen Stapel (wie eine Warteschlange oder mehrere Stapel) verwenden kann. Warum ist das
Brzozowkis Algorithmus wird häufig zitiert. Einige Fragen geben hier Beispiele oder diskutieren ihre Komplexität. Aber ich konnte keinen Beweis für die Richtigkeit des Algorithmus finden. Wie beweisen wir es richtig? Jeder Beweis, der CS-Studenten zugänglich ist, wäre sehr