Potenzmengenkonstruktion
1Potenzmengenkonstruktion — Die Potenzmengenkonstruktion (Myhill Konstruktion oder auch Teilmengenkonstruktion) ist ein Verfahren, das einen nichtdeterministischen endlichen Automaten (NEA) in einen äquivalenten deterministischen endlichen Automaten (DEA) umwandelt. Das… …
2Potenzmengenkonstruktion — Myhill Konstruktion; Teilmengenkonstruktion …
3Myhill-Konstruktion — Potenzmengenkonstruktion; Teilmengenkonstruktion …
4Myhill-Konstruktion — Die Potenzmengenkonstruktion (Myhill Konstruktion oder auch Teilmengenkonstruktion) ist ein Verfahren, das einen nichtdeterministischen endlichen Automaten (NEA) in einen äquivalenten deterministischen endlichen Automaten (DEA) umwandelt. Das… …
5Teilmengenkonstruktion — Die Potenzmengenkonstruktion (Myhill Konstruktion oder auch Teilmengenkonstruktion) ist ein Verfahren, das einen nichtdeterministischen endlichen Automaten (NEA) in einen äquivalenten deterministischen endlichen Automaten (DEA) umwandelt. Das… …
6Büchi-Baumautomat — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …
7Büchi-Erkennbarkeit — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …
8Büchiautomat — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …
9Co-Büchi-Automat — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …
10Deterministische Maschine — Ein deterministischer endlicher Automat (DEA, engl.: DFA=deterministic finite automaton) ist ein endlicher Automat, der unter Eingabe eines Zeichens seines Eingabealphabetes (mögliche Eingaben) von einem Zustand, in dem er sich befindet, in einen …
