Wie vergleiche ich zwei LTLs?

Wie kann ich zwei LTLs vergleichen, um festzustellen, ob sich eine widersprechen kann? Ich frage dies, weil ich eine hierarchische Zustandsmaschine und LTLs habe, die das Verhalten in jedem Zustand beschreiben. Ich muss wissen, ob eine lokale LTL ...

Entwurfsmusterproblem mit N Zuständen und Übergängen zwischen ihnen

Ich habe ein Problem und weiß nicht, welches Designmuster ich verwenden soll. Das Problem geht so:Ich muss ein System mit 'N' Zuständen aufbauen und ...

Was ist der DFA für den regulären Ausdruck 0 (0 + 1) * 0 + 1 (0 + 1) * 1?

Dies ist der DFA, den ich gezeichnet habe.Ist es richtig?Ich bin verwirrt, weil

NFA / DFA-Implementierung in C #

Kennt jemand eine gute NFA- und DFA-Implementierung in C #, die möglicherweise auch Konvertierungen zwischen beiden implementiert? Was ich möchte, wäre, in der Lage zu sein, eine NFA zu konstruieren und sie dann automatisch in eine DFA ...

Beispiel einer nichtlinearen, eindeutigen und nicht deterministischen CFL?

Design-DFA akzeptiert binäre Zeichenfolgen, die durch eine Zahl 'n' teilbar sind

Ich muss lernen, wie man einen DFA so entwirft, dass er bei einer beliebigen Zahl 'n' Binärzeichenfolgen {0, 1} akzeptiert, deren dezimale äquivalente Zahl durch 'n' teilbar ist. Es wird unterschiedliche DFAs für unterschiedliche 'n' geben, aber ...

Wie werden endliche Automaten in Code implementiert?

Wie implementiert man eindfa oder einnfa für diese Angelegenheit in Python-Code? Was sind einige gute Möglichkeiten, um es in Python zu tun? Und werden sie jemals in Projekten der realen Welt verwendet?