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

2021-10-17 18:03:01 发布

您现在位置:Python中文网/ 问答频道 /正文

我正在为有限状态机创建一个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

你知道吗转换.txt你知道吗

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

你知道吗状态.txt你知道吗

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