# Tutor für endliche Automaten, Mealy/Moore, Karnaugh und Minimierung

Erklärt schrittweise Automaten und kombinatorische Logik: Teilmengenkonstruktion ε-NFA→NFA→DFA, Minimierung per Moore-Partitionsverfeinerung, Mealy↔Moore-Konvertierung; Gray-Gruppierung im Karnaugh-Diagramm und Quine-McCluskey mit Primimplikanten und exakter Minimalüberdeckung für das minimale DNF. Mit ASCII-Diagrammen, Tabellen und Iterationen.

> Kanonische Seite: https://elysiatools.com/de/tools/finite-state-machine-mealy-moore-karnaugh-minimization-tutor

- **Kategorie:** Education

- **Schlagwörter:** endlicher automat, dea, nea, karnaugh-veitch-diagramm, quine mccluskey, minimierung, digitaltechnik

## Überblick

Automaten-DSL: `states: q0 q1 …`, `start: q0`, `accept: q1, q2`, `alphabet: a b`, ein Übergang pro Zeile `von symbol nach` (ε-Kanten als ε oder eps); Mealy-Ausgang `q0 a q1 / 1`, Moore-Ausgang `moore: q0:0 q1:1`. Die Teilmengenkonstruktion wendet ε-Hülle an; die Minimierung entfernt zuerst unerreichbare Zustände und verfeinert dann Partitionen (klassische Falle); Mealy→Moore teilt Zustände nach Eingangsausgabe (≤ |Q|·|Δ|). Boolescher Modus: Quine-McCluskey verschmilzt Nachbarn (ein Bit, ausgerichtete Striche), die Primimplikantentabelle deckt nur ON-Minterme, nach den essentiellen liefert erschöpfende Teilmengensuche die exakte Minimalüberdeckung (Petrick-äquivalent). Verifizierte Referenzen: (a|b)*abb → DFA mit 5 Zuständen, minimal 4; Σm(0,1,2,5,6,7,8,9,10,14) → B'C' + CD' + A'BD eindeutiges Optimum.

## Eingaben

- **Modus** (select)
- **Automatendefinition** (textarea): states: q0 q1 q2 start: q0 accept: q2 alphabet: a b q0 a q0 q0 b q0 q0 ε q1 q1 b q2 q2 a q2 q2 b q2
- **Variablenzahl (Karnaugh)** (number)
- **Minterme (ON-Menge)** (text): 0,1,2,5,6,7,8,9,10,14
- **Don't-Cares** (text): e.g. 3,11,12
- **NFA zu DFA (Teilmengenkonstruktion)** (checkbox)
- **DFA minimieren (Moore-Partitionsverfeinerung)** (checkbox)
- **Mealy ↔ Moore konvertieren (falls Ausgaben)** (checkbox)

## Wann verwenden

- Wenn ein ε-NFA oder NFA per Teilmengenkonstruktion in einen DFA umgewandelt werden soll.
- Wenn ein DFA mit Moore-Partitionsverfeinerung minimiert oder ein Mealy- und Moore-Automat konvertiert werden soll.
- Wenn eine Boolesche Funktion aus Mintermen und optionalen Don't-Cares per Karnaugh oder Quine-McCluskey minimiert werden soll.

## Funktionsweise

- Wähle den Modus „Automaten“ oder „Boolesche Minimierung“ und gib die passenden Eingaben ein.
- Für Automaten werden Zustände, Start- und akzeptierende Zustände, Alphabet sowie Übergänge in der vorgegebenen DSL angegeben.
- Aktiviere bei Bedarf die DFA-Konstruktion, die DFA-Minimierung oder die Mealy-Moore-Konvertierung.
- Im booleschen Modus werden Variablenzahl, ON-Minterme und optionale Don't-Cares analysiert; anschließend wird eine minimale DNF mit Primimplikanten und Überdeckung ermittelt.

## Anwendungsfälle

- Lehrveranstaltungen und Übungen zu Automatentheorie, formalen Sprachen und Digitaltechnik.
- Nachvollziehbare Prüfungsvorbereitung mit vollständigen Konstruktions- und Minimierungsschritten.
- Kontrolle von DFA-Minimierungen und Booleschen Minimalformen anhand konkreter Minterm-Listen.

## Häufig gestellte Fragen

### Welche Automaten kann der Tutor verarbeiten?

Er verarbeitet NFA und ε-NFA, kann sie per Teilmengenkonstruktion in einen DFA umwandeln und DFA-Zustände minimieren. Auch Mealy- und Moore-Ausgaben werden unterstützt.

### Wie wird ein Automat eingegeben?

Verwende Angaben für states, start, accept und alphabet sowie je Übergang eine Zeile im Format „von symbol nach“. ε-Kanten können als ε oder eps geschrieben werden.

### Wie funktioniert die DFA-Minimierung?

Zuerst werden unerreichbare Zustände entfernt. Danach verfeinert der Tutor die Zustandspartitionen nach dem Moore-Verfahren.

### Welche Eingaben benötigt die Boolesche Minimierung?

Benötigt werden die Variablenzahl und die Minterme der ON-Menge. Don't-Cares können optional angegeben werden.

### Was enthält die Ausgabe?

Die Ausgabe zeigt je nach Modus unter anderem Hüllen, Zustandsmengen, Übergangstabellen, Minimierungsrunden, Karnaugh-Gruppierungen, Primimplikanten und die minimale Überdeckung.

## Ähnliche Tools

- [Aminosäurezusammensetzungs-Analysator](https://elysiatools.com/de/tools/amino-acid-composition): Analysiert die Zusammensetzung einer Sequenz: Häufigkeiten und Mol-Prozente jeder der 20 Standard-Aminosäuren; Gruppensummen (basisch K/R/H, sauer D/E, aromatisch F/W/Y, schwefelhaltig C/M, aliphatisch A/I/L/V, Amid N/Q, Hydroxyl S/T, sonstige G/P); GRAVY nach den Hydropathie-Werten von Kyte–Doolittle 1982 (>0 hydrophob, <0 hydrophil; lösliche Globuläre meist zwischen −1 und +0,3); dazu die Molekularmasse aus der ProtParam-Tabelle. Ambiguitätscodes (B/J/O/U/X/Z) werden separat gezählt und von den Prozenten ausgeschlossen. Quellen: Kyte & Doolittle 1982, ExPASy ProtParam, Lehninger. Nur für Ausbildung.
- [Flaschenhals-Effekt-Simulator (Heterozygotieverlust)](https://elysiatools.com/de/tools/bottleneck-effect-simulator): Simuliert den erwarteten Heterozygotieverlust nach einem Flaschenhals (deterministische Erwartung). Bei idealem Wright-Fisher-Drift gilt pro Generation H_{t+1} = H_t(1 − 1/(2N)), also H_final = H₀(1−1/2Nb)^t × (1−1/2Nr)^g; die harmonische effektive Größe Ne = (t+g)/(t/Nb + g/Nr) wird vom Minimum dominiert; kumuliertes F = 1 − H_final/H₀. Für ein Allel der Frequenz p beträgt das Überleben EINER Flaschenhals-Generation 1 − (1−p)^(2Nb); seltene Allele gehen zuerst verloren. Klassiker: See-Elefant (~20 Überlebende um 1890), Gepard, Hawaiigans, Wisent, Pingelap-Atoll. Quellen: Wright 1931, Nei et al. 1975, Hartl & Clark 2007, StatPearls. Nur für Bildungszwecke.
- [SRS-Deck-Generator aus Frequenzliste](https://elysiatools.com/de/tools/language-vocab-spaced-repetition-deck-generator): Fügen Sie eine zweisprachige Vokabelliste ein und exportieren Sie ein Anki-kompatibles Deck, das jeden Eintrag in Erkennungs-, Erinnerungs- und Cloze-Karten mit Wortart, IPA und Beispielsätzen zerlegt, plus SM-2-Vorschau.
- [Restriktionsfragment-Längenrechner](https://elysiatools.com/de/tools/restriction-fragment-length): Schätzt die Fragmentgrößen nach einer Restriktionsverdau: ein zirkuläres Substrat mit n Schnitten ergibt n Fragmente (um den Ursprung herum), ein lineares n+1. Der Positionsmodus berechnet exakte Fragmente aus kommagetrennten Koordinaten; der Anzahlmodus liefert Stückzahl und Mittelwert bei gleichmäßiger Verteilung. Dazu die erwartete Sitefrequenz in zufälliger DNA: 4-Basen-Erkennungsstellen ~1 je 256 bp, 6-Basen ~1 je 4096 bp (REBASE/Sambrook) sowie Hinweise zur Agarose-Auflösung (<50 bp kann laufen). Quellen: Sambrook & Russell 3. Aufl., REBASE. Nur für Ausbildung.
- [AsciiMath-/LaTeX-/MathML-Formelkonverter](https://elysiatools.com/de/tools/asciimath-latex-mathml-equation-converter): Wandelt Formeln zwischen AsciiMath, LaTeX und MathML um: erkennt das Eingabeformat und erzeugt kanonisches LaTeX, annotiertes Presentation-MathML, eine best-effort-AsciiMath-Rückübersetzung, ein aria-label-Snippet für Screenreader sowie eine KaTeX-Vorschau.
- [CSV-Kopfzeilen-Alias-Resolver](https://elysiatools.com/de/tools/csv-header-alias-resolver): Bildet unordentliche CSV-Kopfzeilen auf ein sauberes Zielschema ab. Fügen Sie CSV-Daten ein, deren erste Zeile inkonsistente Spaltennamen enthält (Customer ID, user_id, customerId, CUST_ID…), dazu Ihr Zielschema (eine Spalte pro Zeile) und ein optionales "Alias=Ziel"-Wörterbuch. Jede Kopfzeile wird in vier Durchgängen aufgelöst — exakt, Wörterbuch, normalisiert (Groß-/Kleinschreibung/Akzente/Trenner/camelCase) und Fuzzy-Editierdistanz — und in einer Tabelle mit Methode und Konfidenz gezeigt, plus Zielabdeckung und optionaler normalisierter CSV-Export.
- [ECharts-Theme-Token-Extraktor](https://elysiatools.com/de/tools/echarts-theme-token-extractor): Extrahiert Design-Tokens — Farben, Zahlen, Schriftgrößen und Strings — aus einem ECharts-Theme-JSON und exportiert sie direkt in Ihr Design-System. Fügen Sie ein Theme-Objekt ein (das per echarts.init(dom, themeName) registriert wird) und das Werkzeug durchläuft jedes Leaf, taggt jede Farbe (optional Named/rgb → hex normalisiert), jeden Abstand, jede Schriftgröße und jeden String und gibt saubere CSS-Variablen, ein Tailwind theme.extend, ein Style Dictionary tokens.json oder SCSS-Variablen aus. Überbrückt die Lücke zwischen einem ECharts-Visualisierungs-Theme und Figma/CSS/Tailwind-Design-Tokens, ohne jeden Wert von Hand zu kopieren.
- [E-Mail-Signatur-HTML-Generator](https://elysiatools.com/de/tools/email-signature-html-builder): Erzeugt eine saubere, kopierfertige HTML-E-Mail-Signatur, die in Gmail, Outlook und Apple Mail korrekt dargestellt wird — mit Avatar/Logo, Social Icons (automatisch aus Ihren Links erkannt), Akzentfarbe, Hell/Dunkel/Auto-Theme und einem tabellenbasierten, E-Mail-sicheren Layout mit Inline-Styles. HTML kopieren und direkt in den Mail-Client einfügen.

## Beispiele

- [Web Python Bildverarbeitung Beispiele](https://elysiatools.com/de/samples/web-image-processing-python): Web Python Bildverarbeitungsbeispiele mit PIL/Pillow einschließlich Lesen, Speichern, Skalieren und Formatkonvertierung
- [Android Java Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/android-image-processing-java): Android Java Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung
- [Android Kotlin Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/android-image-processing-kotlin): Android Kotlin Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung
- [Web Rust Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/web-image-processing-rust): Web Rust Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung