How to implement nfa in python

#nfa simulation for (a|b)*abb
#state 4 is a trap state


import sys

def main():
    transition = [[[0,1],[0]], [[4],[2]], [[4],[3]], [[4],[4]]]
    input = raw_input("enter the string: ")
    input = list(input) #copy the input in list because python strings are immutable and thus can't be changed directly
    for index in range(len(input)): #parse the string of a,b in 0,1 for simplicity
        if input[index]=='a':
            input[index]='0' 
        else:
            input[index]='1'

    final = "3" #set of final states = {3}
    start = 0
    i=0  #counter to remember the number of symbols read

    trans(transition, input, final, start, i)
    print "rejected"



def trans(transition, input, final, state, i):
    for j in range (len(input)):
        for each in transition[state][int(input[j])]: #check for each possibility
            if each < 4:                              #move further only if you are at non-hypothetical state
                state = each
                if j == len(input)-1 and (str(state) in final): #last symbol is read and current state lies in the set of final states
                    print "accepted"
                    sys.exit()
                trans(transition, input[i+1:], final, state, i) #input string for next transition is input[i+1:]
        i = i+1 #increment the counter


main()

Source: stackoverflow.com

Similar codes

1 vote140 views1 answer
Get a column that corresponds to the average of two columns pandas
Python
0 vote144 views1 answer
From random input python
Python
2 votes129 views1 answer
Int' object is not callable python
Python
0 vote153 views1 answer
S = 1 + 2 + ... + n in python
Python
0 vote138 views1 answer
Hur många partier sitter i riksdagen
Python
0 vote143 views1 answer
Successful=true for number in range (3) print ("Attempt") if successful: print ("Successful") breal
Python
1 vote138 views1 answer
Python calculate computation time
Python
0 vote153 views1 answer
What Is Python Recursive Function in python
Python
0 vote144 views1 answer
Python[17586:513448] ApplePersistenceIgnoreState: Existing state will not be touched. New state will be written to
Python
0 vote139 views1 answer
Python find closest date
Python