THEORETISCHE INFORMATIK · KLAUSUR · 1:1
Vier bis fünf Sessions vor der Klausur. Wir konstruieren Automaten, üben das Pumping-Lemma und ordnen Berechenbarkeit und Komplexität ein, bis die Beweisschemata sitzen.
Anton LIVE B.Sc. Informatik · Theorie-Profi antwortet ≤ 4 h Kostenloses Erstgespräch →
Schon entschieden? Direkt zur Session →
Live aus einer Theo-Inf-Session
# DFA: gerade Anzahl an 1en Zustände: q0 (Start, akzeptierend), q1 0: q0 -> q0, q1 -> q1 1: q0 -> q1, q1 -> q0 # jede 1 wechselt die Seite
Theoretische Informatik prüft Konstruktionen und Beweise, keine Programmierung. Typisch sind ein Automaten-Block (reguläre Sprachen), ein Grammatik-Block (kontextfrei, Pumping-Lemma) und ein Block zu Berechenbarkeit und Komplexität. Wir trainieren jeden an deinen Altklausuren.
Der Block, in dem du sichere Punkte holst, wenn du die Konstruktionen geübt hast. Potenzmengenkonstruktion, Minimierung, reguläre Ausdrücke.
Der Block, der Beweistechnik verlangt. Pumping-Lemma sauber anwenden, kontextfreie Grammatiken konstruieren, Chomsky-Hierarchie einordnen.
Der Block, an dem die meisten stolpern. Halteproblem, Reduktionen, P gegen NP. Mit klaren Schemata gut zu lernen.
Keine auswendig gelernte Lösung. Wir konstruieren den Automaten über die Frage, die jeder Zustand beantwortet, so wie du es in der Klausur begründen musst.
Konstruiere einen DFA über dem Alphabet {0, 1}, der genau die Wörter mit einer geraden Anzahl an 1en akzeptiert.
# Zwei Zustände genügen q0 = gerade viele 1en (Start, akzeptierend) q1 = ungerade viele 1en Übergänge: 0: q0 -> q0, q1 -> q1 # 0 ändert nichts 1: q0 -> q1, q1 -> q0 # 1 wechselt
Was muss der Automat sich merken? Nur, ob er bisher gerade oder ungerade viele 1en gesehen hat. Das sind genau zwei Zustände, q0 und q1.
Eine 0 ändert die Parität nicht, also bleibt der Zustand. Eine 1 kippt von gerade auf ungerade und zurück, also wechselt der Zustand zwischen q0 und q1.
Null 1en sind eine gerade Anzahl, also ist q0 Start- und akzeptierender Zustand. Der DFA akzeptiert genau, wenn er nach dem letzten Zeichen in q0 ist.
Wenn du jetzt anfängst und 4 bis 5 Sessions investierst, hast du gute Chancen. Weniger Zeit? Wir komprimieren. Mehr? Wir gehen tiefer, etwa in weitere Reduktionen oder den Satz von Rice.
Du teilst Bildschirm, wir gehen deine letzte Übung und deinen Klausurstoff durch. Wir erkennen, wo du wirklich stehst, nicht wo du glaubst zu stehen.
Wir konstruieren DFA und NFA, wandeln per Potenzmengenkonstruktion um und üben reguläre Ausdrücke, am echten Beispiel deines Klausurstoffs.
Die Beweisblöcke. Pumping-Lemma sauber anwenden, kontextfreie Grammatiken bauen und Unentscheidbarkeit per Reduktion argumentieren. Schritt für Schritt.
Du löst die Probeklausur deiner Uni unter Zeitdruck. Wir besprechen jede Aufgabe: was sitzt, wo du dich verzettelst und welche Aufgabentypen wahrscheinlich dran kommen.
Ich habe Study IT gebaut, weil ich selbst erlebt habe, wie Informatik-Lehre an der Uni auseinanderbricht.
Unsere Tutor:innen sind echte Entwickler:innen, keine Studi-Jobber.
Direkt an mich: marcel.schmidtpeter@study-it.education
B.Sc. Informatik mit den Pflichtmodulen, die andere fürchten: Automaten, formale Sprachen, Berechenbarkeit und Komplexität. Er macht abstrakte Beweise greifbar und übt mit dir die Konstruktionen, die in der Klausur zählen.
„Mein Ziel ist, dass du Sicherheit im Umgang mit Code gewinnst und Zusammenhänge wirklich verstehst, statt fertige Lösungen zu übernehmen."
Pro Session zahlen oder Klausur-Paket sichern. Erstgespräch kostenlos: wenn's nicht passt, hast du nichts verloren.
Wenn Theoretische Informatik nicht der Engpass ist, passt vermutlich eine dieser Seiten besser.
Kostenloses Erstgespräch, 30 Minuten. Wir schauen auf deinen Stoff und sagen dir ehrlich, wie viele Sessions du brauchst.
