Automatentheoretische Methode

Eine Technik, die logische Entscheidungsprobleme auf Fragen über endliche oder unendliche Automaten und die sprachtheoretischen Eigenschaften der von diesen Automaten akzeptierten Sprachen reduziert, indem effektive Übersetzungen zwischen Formeln/Modellen und Automaten hergestellt werden, sodass Erfüllbarkeit, Gültigkeit oder Modellprüfung auf Leerheits-, Inklusions- oder Akzeptanzprobleme von Aut