Python有限状态机问题(跳过处理?)

Question

我正在为有限状态机创建一个python程序，而不是面向对象的。然而，我的处理阶段已经结束了。它似乎甚至没有通过我创建的三重for循环运行，我通过尝试打印CurrentState进行了检查。如有任何帮助，我们将不胜感激。

import sys
try: 
    Sfile = open("states.txt","r")
except IOError:
    print "Could not open file", states.txt
    os.kill()
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"
Sfile.close()

try:
    Tfile = open("transistions.txt","r")
except IOError:
    print "Could not open file", transitions.txt
    os.kill()
Transitions = []

ReadLine = Tfile.readline()
while ReadLine != "":
    ReadLine = ReadLine.rstrip()
    CS, IN, NS = ReadLine.split(",")
    Transitions.append((CS, IN, NS))
    ReadLine = Tfile.readline()
print Transitions
Tfile.close()
try:
    Strfile = open("strings2.txt","r")
except IOError:
    print "Could not open file", strings2.txt
    os.kill()
Strings = []
ReadLine = Strfile.readline()
while ReadLine != "":
    Readline = ReadLine.rstrip()
    Strings.append(Readline)
    ReadLine = Strfile.readline()
print Strings, 'n'
Strfile.close()
CurrentState = ''
Start = ''
RejectState= ''
AcceptState= ''
for S in Strings:
    if S != '':
            for C in S:
                for (CS, IN, NS) in Transitions:                
                    if CS == CurrentState and IN == C:
                            CurrentState =NS
                            break
                for  (SN, SS, AS) in States:
                    if SN == CurrentState and SS ==C:
                        CurrentState = NS

    if NS == AS:
            NS = AcceptState
            print "String", AcceptState, "is accepted"
            break
    else:
            NS = RejectState
            print "String", RejectState, "is rejected"
            break

以下是我的不同文本文件：字符串2.txt

01010
1001
010

transitions.txt

Start,0,State1
State1,1,State2
State2,0,State3

states.txt

State1,1,0
State2,0,1
State3,1,0

Answer 1

我复制了您的代码和数据，并能够使用python2.7:使此代码（对您的代码稍作修改）工作

import sys
import os
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:
    Tfile = open("transitions.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:
    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 = ''
RejectState= ''
AcceptState= ''
for S in Strings:
    if S != '':
            print "String:", S
            for C in S:
                print "Char:", C
                for (CS, IN, NS) in Transitions:
                    if CS == CurrentState and IN == C:
                            CurrentState =NS
                            break
                for  (SN, SS, AS) in States:
                    if SN == CurrentState and SS ==C:
                        CurrentState = NS

    if NS == AS:
            NS = AcceptState
            print "String", AcceptState, "is accepted"
    else:
            NS = RejectState
            print "String", RejectState, "is rejected"

这是我得到的输出：

$ python2.7 test.py
States:
[('State1', True, False), ('State2', False, True), ('State3', True, False)]
Transitions:
[('Start', '0', 'State1'), ('State1', '1', 'State2'), ('State2', '0', 'State3')]
Strings:
01010
1001
010
String: 01010
Char: 0
Char: 1
Char: 0
Char: 1
Char: 0
String  is rejected
String: 1001
Char: 1
Char: 0
Char: 0
Char: 1
String  is rejected
String: 010
Char: 0
Char: 1
Char: 0
String  is rejected