D120.de/forum

hab ne frage die sich ganz explizit auf teil b bezieht. ist das phie von dem exakt hier in b) die rede ist immer noch eine positive AL-Formel? Thx for help.

bei zwei gezeichneten graphen: alle möglichen zustandspaare sind nun die zustände des neuen automaten (kreuzprodukt der Q mengen) übergänge: erklärendes beispiel: gehst du in A1 mit a von Qi nach Qj und in A2 mit a von Qk nach Ql, dann gehst du im neuen Automaten mit a von (Qi,Qk) nach (Qj,Ql). Nun ...

sry, deins war schon richtig, auch in den kohlenbachfolien fängt dieser algo damit an, # als X0 zu definieren (hier dein X). dadurch muss man ihn nicht separat löschen nach durchlauf, weil weil es im endeffekt ja durch terminale ersetzt wird, welche selbst irgendwann gelöscht werden.

woher kommt denn dabei das X im Stack? ein erstes mal muss es doch wohl geschrieben werden, oder? oder ist das der boden? wenn nein, muss man die # auch noch irgendwo wieder löschen...

zu L1:={a^n b^k a^n b^k: n,k aus N } Sei Sigma={a,b} Lässt sich mit dem Wissen, dass L2:={ww|w aus Sigma*} nicht kontextfrei ist und der Abgeschlossenheit kontextfreier Sprachen unter inversen Homomorphismen beweisen, dass L1 nicht kontextfrei ist? mein gedanke dabei ist, dass doch wörter der form a...

gilt diese aussage auch noch für die 2. teilklausur? (sofern diesmal überhaupt welche vorgegeben sind)

also die idee von tobist gefällt mir sehr. alternativ wäre doch auch das anbieten 2er klausuren - ausgelegt auf entweder 60 oder 120 min - möglich. mehr arbeit für die veranstalter zwar, die sie sich aber in meinen augen selbst eingebrockt hätten. zumal ich es nicht als eindeutig / einsichtig eracht...