nilesrogoff/pycoolc
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

use correct notation

Browse Source
This commit is contained in:
Niles Rogoff 2017-03-22 12:38:26 -04:00
parent 964d0a43b5
commit 6c1da1f9c4
No known key found for this signature in database
GPG Key ID: B78B908F23430F80
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
nfa.py
View File

@ -90,7 +90,7 @@ def concatenate(a, b):
return f return f
# takes a set of nodes, returns a set of those nodes and all nodes connected to those nodes by epsilon moves # takes a set of nodes, returns a set of those nodes and all nodes connected to those nodes by epsilon moves
# uses an ignore list for its recursive calls so it won't loop infinitely # uses an ignore list for its recursive calls so it won't loop infinitely
def add_epsilon_moves(s, ignore=False): def epsilon_closure(s, ignore=False):
new_s = set(s) # we can't modify the set we're iterating over or the program will explode, so we return a new set instead of modifying s new_s = set(s) # we can't modify the set we're iterating over or the program will explode, so we return a new set instead of modifying s
if not ignore: if not ignore:
ignore = new_s ignore = new_s
@ -98,7 +98,7 @@ def add_epsilon_moves(s, ignore=False):
for possible_move in state.moves['ε']: # for all possible ε moves in all the moves we're expanding over, recurse for possible_move in state.moves['ε']: # for all possible ε moves in all the moves we're expanding over, recurse
if possible_move in ignore: if possible_move in ignore:
continue continue
for m in add_epsilon_moves(set([possible_move]),(set([possible_move]) | ignore)): for m in epsilon_closure(set([possible_move]),(set([possible_move]) | ignore)):
new_s.add(m) new_s.add(m)
return new_s return new_s
@ -107,7 +107,7 @@ def match(f, inp):
states = set([f.start]) states = set([f.start])
idx = 0 idx = 0
while idx < len(inp): while idx < len(inp):
states = add_epsilon_moves(states) # expand into epsilon connected states states = epsilon_closure(states) # expand into epsilon connected states
new_states = set() # the states we will be in after we consume the input new_states = set() # the states we will be in after we consume the input
c = inp[idx] # the character we're taking in right now c = inp[idx] # the character we're taking in right now
for state in states: for state in states: