Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:automaten:dea:start [17.06.2023 13:35] – Mareike Nutz
+++ faecher:informatik:oberstufe:automaten:dea:start [11.03.2025 14:24] (aktuell) – Marco Kuemmel
@@ Zeile 1: / Zeile 1: @@
 ====== Deterministische endliche Automaten ======
-DEA ist die deutsche Abkürzung für //Deterministischer Endlicher Automat//. Im Englische lautet die Abkürzung DFA für//Deterministic Final Automaton//. Auch in deutschsprachiger Fachliteratur wird oft das Akronym DFA genutzt.
+DEA ist die deutsche Abkürzung für //Deterministischer Endlicher Automat//. Im Englische lautet die Abkürzung DFA für //Deterministic Final Automaton//. Auch in deutschsprachiger Fachliteratur wird oft das Akronym DFA genutzt.
 ===== Definition =====
@@ Zeile 16: / Zeile 16: @@
 <WRAP center round tip 90%>
-Ein **deterministischer** Automat (deterministisch = "keine Freiheit", daher reproduzierbare Verarbeitung) hat bestimmte Eigenschaften:
+Ein **deterministischer** endlicher Automat (deterministisch = klar definierte Zustände & Übergänge, daher reproduzierbare Verarbeitung) hat bestimmte Eigenschaften:
   * Von einem Zustand q1 kann es keine 2 möglichen Übergänge geben, die beide dasselbe Alphabetzeichen verarbeiten. -> Pro Alphabetzeichen gibt es nur einen möglichen Weg!
   * Ebenso darf es nur einen einzigen Startzustand geben.
+Das Wort **endlich** bezieht sich darauf, dass es eine endliche Menge von Zuständen gibt (also nicht //unendlich// viele).
 </WRAP>
 ===== Darstellung =====
-Ein DEA wir häufig durch seinen <color green/lightgrey>Übergangsgraphen</color> dargestellt. Gelegentlich wird auch der Begriff <color green/lightgrey>Zustandsübergangsdiagramm</color> verwendet.
+Ein DEA wird häufig durch seinen <color green/lightgrey>Übergangsgraphen</color> dargestellt. Gelegentlich wird auch der Begriff <color green/lightgrey>Zustandsübergangs**diagramm**</color> verwendet.
 {{ :faecher:informatik:oberstufe:automaten:dea:beispiel.png?500 |}}
@@ Zeile 71: / Zeile 73: @@
 === (A1) ===
-Gegeben ist der folgende DEA: M = ({z0,z1,z2,z3}, {apfel,birne}, δ, z0, {z3}). δ ist in Form einer Übergangstabelle gegeben:
+Gegeben ist der folgende DEA: M = ({z0,z1,z2,z3}, {apfel,birne}, δ, {z0}, z3). δ ist in Form einer Übergangstabelle gegeben:
-^  δ   ^  a   ^  b   ^
+^  δ   ^  apfel  ^  birne  ^
-|  z0  |  z1  |  z3  |
+|  z0  |  z1     |  z3     |
-|  z1  |  z2  |  z0  |
+|  z1  |  z2     |  z0     |
-|  z2  |  z3  |  z1  |
+|  z2  |  z3     |  z1     |
-|  z3  |  z0  |  z2  |
+|  z3  |  z0     |  z2     |
   * Welches sind die Zustände des DEA, was der Start, was gültige Endzustände?
-  * Welche Eingaben akzeptiert der Automat? FIXME
   * Erstelle ein Zustandsübergangsdiagramm für den DEA
@@ Zeile 107: / Zeile 108: @@
 === (A3) ===
-Es soll ein Automat entworfen werden, der alle Worte der Form a<sup>n</sup> (also a, aa, aaa, aaaa, u.s.w.) besteht, wobei n durch 3 oder durch 4 (oder durch beide) teilbar ist.
+Es soll ein DEA entworfen werden, der alle Worte der Form a<sup>n</sup> (also a, aa, aaa, aaaa, u.s.w.) versteht, wobei n durch 3 oder durch 4 (oder durch beide) teilbar ist.
   * Gib einen Übergangsgraphen an