In der Informatik ist ein Zweiwege deterministischer endlicher Automat (Zweiwege-DFA, 2DFA) ein Automat, genauer gesagt ein deterministischer endlicher Automat (DFA), der bereits gelesene Zeichen noch einmal besuchen kann. Wie im DFA gibt es auch im 2DFA eine endliche Anzahl an Zuständen, die durch Transitionen unter Beachtung des zu lesenden Zei...