Finden Sie den kleinsten DFA, der zwei Wörter ohne Brute-Force-Suche trennt?
Mit zwei Zeichenfolgen x und y möchte ich einen DFA mit einer Mindestgröße erstellen, der x akzeptiert und y ablehnt. Eine Möglichkeit hierfür ist die Brute-Force-Suche. Sie zählen die DFAs beginnend mit den kleinsten auf. Sie probieren jeden DFA aus, bis Sie einen finden, der x akzeptiert und y...