Python-Zustandsmaschine: Reset-Schleife?

Question

Ich brauche meine FSM, um die binäre zu lesen, mit den Zuständen und Übergängen zu vergleichen. Dann sagen Sie, ob es akzeptiert oder abgelehnt wird. Der Akzept-Zustand ist eine einfache 010. Im Moment beginnt die Schleife von Anfang an, egal was ich mache. Ich habe verschiedene Variationen der Einrückung ausprobiert.

import sys 
import os 


try: 
    Tfile = open("transistions2.txt","r") 
except IOError: 
    print "Could not open file", "transitions.txt" 
    sys.exit() 
Transitions = [] 


ReadLine = Tfile.readline() 
while ReadLine != "": 
    ReadLine = ReadLine.rstrip() 
    CS, IN, NS = ReadLine.split(",") 
    Transitions.append((CS, IN, NS)) 
    ReadLine = Tfile.readline() 

print "Transitions:\n", Transitions, "\n" 
Tfile.close() 


try: 
    Sfile = open("states.txt","r") 
except IOError: 
    print "Could not open file", "states.txt" 
    sys.exit() 
States = [] 

ReadLine = Sfile.readline() 
while ReadLine != "": 
    SN, SS, AS = ReadLine.split(",") 
    States.append((SN, bool(int(SS)), bool(int(AS)))) 
    ReadLine = Sfile.readline() 

print "States:\n", States, "\n" 
Sfile.close() 

try: 
    Strfile = open("strings2.txt","r") 
except IOError: 
    print "Could not open file", strings2.txt 
    sys.exit() 
Strings = [] 

ReadLine = Strfile.readline() 
while ReadLine != "": 
    Readline = ReadLine.rstrip() 
    Strings.append(Readline) 
    ReadLine = Strfile.readline() 

print "Strings:\n", '\n'.join(Strings), '\n' 
Strfile.close() 

CurrentState = '' 
Start ='State1' 


for S in Strings: 
    if S != '': 
      print "String:", S 
      for C in S: 
       print "Number:", C 
       CurrentState =Start 
       for Transitions in (CS, IN, NS): 
        print Transitions 
        if CS == CurrentState and IN == C: 
          CurrentState = NS 
          print NS 
          break 
       for States in (SN,SS,AS): 
        if SN == CurrentState: 
         print S, "is accepted" 
        elif AS == CurrentState: 
         print S, " is rejected" 
        else: 
         print S,"Doesnt work" 

Meine mehrere Lesen in Textdateien sind:

Transitions: 
[('State3', '1', 'State3'), ('State3', '0', 'State4'), ('State2', '1', 'State3'), ('State2', '0', 'State2'), ('State1', '1', 'State1'), ('State1', '0', 'State2')] 

States: 
[('State1', True, False), ('State2', False, False), ('State3', False, False), ('State4', False, True)] 

Strings: 
01010 
1001 
010 

Answer 1

Sie Ihre FSM Implementierung komplizierter als nötig zu machen, indem Sie versuchen, die states.txt-Datei zu verwenden - hier ist, wie es ist, ohne es aussehen könnte:

import sys 

try: 
    Tfile = open("transitions2.txt", "r") 
except IOError: 
    print "Could not open file transitions2.txt" 
    sys.exit() 
Transitions = [] 

ReadLine = Tfile.readline() 
while ReadLine != "": 
    ReadLine = ReadLine.rstrip() 
    CS, IN, NS = ReadLine.split(",") 
    Transitions.append((CS, IN, NS)) 
    ReadLine = Tfile.readline() 

print "Transitions:\n", Transitions, "\n" 
Tfile.close() 


try: 
    Strfile = open("strings2.txt", "r") 
except IOError: 
    print "Could not open file strings2.txt" 
    sys.exit() 
Strings = [] 

ReadLine = Strfile.readline() 
while ReadLine != "": 
    Readline = ReadLine.rstrip() 
    Strings.append(Readline) 
    ReadLine = Strfile.readline() 

print "Strings:\n", '\n'.join(Strings), '\n' 
Strfile.close() 


Start = 'State1' 
Accept = 'State4' 

for S in Strings: 
    CurrentState = Start 
    print "String:", S 
    for C in S: 
     print " Number:", C 
     # find matching state and and input number 
     for CS, IN, NS in Transitions: 
      if CS == CurrentState and IN == C: 
       CurrentState = NS # make transition to next state 
       print " NS ->", NS 
       break 

    if CurrentState == Accept: 
     print " "+S, "Is accepted" 
    else: 
     print " "+S, "Doesn't work" 
    print 

Ausgang:

Transitions: 
[('State3', '1', 'State3'), ('State3', '0', 'State4'), ('State2', '1', 'State3'), 
('State2', '0', 'State2'), ('State1', '1', 'State1'), ('State1', '0', 'State2')] 

Strings: 
01010 
1001 
010 

String: 01010 
Number: 0 
NS -> State2 
Number: 1 
NS -> State3 
Number: 0 
NS -> State4 
Number: 1 
Number: 0 
01010 Is accepted 

String: 1001 
Number: 1 
NS -> State1 
Number: 0 
NS -> State2 
Number: 0 
NS -> State2 
Number: 1 
NS -> State3 
1001 Doesn't work 

String: 010 
Number: 0 
NS -> State2 
Number: 1 
NS -> State3 
Number: 0 
NS -> State4 
010 Is accepted 

Da es keine Übergänge vom Accept Zustand gibt, könnten Sie break aus der for C in S: Schleife, sobald es erreicht wurde und genau die gleichen Ergebnisse erhalten.