예제 #1
0
 def all_strings(self):
     for l in itertools.count(1):
         for x in compute_all_strings(l, alphabet=self.terminals()):
             v = re.sub(r"a", "t", x)
             v = re.sub(r"b", "a", v)
             v = re.sub(r"t", "b", v)
             yield x + v
예제 #2
0
파일: XXX.py 프로젝트: sandguine/Fleet
 def all_strings(self):
     for l in itertools.count(1):
         for s in compute_all_strings(l, alphabet=self.terminals()):
             yield s + s + s
예제 #3
0
파일: XXR.py 프로젝트: piantado/LOTlib
 def all_strings(self):
     for l in itertools.count(1):
         for s in compute_all_strings(l, alphabet='ab'):
             yield s + s[::-1]
예제 #4
0
파일: XY.py 프로젝트: piantado/LOTlib
 def all_strings(self):
     for l in itertools.count(1):
         for x in compute_all_strings(l, alphabet=self.terminals()):
             for y in compute_all_strings(l, alphabet=self.terminals()):
                 if x != y:
                     yield x+y
예제 #5
0
 def all_strings(self):
     for l in itertools.count(1):
         for x in compute_all_strings(l, alphabet=self.terminals()):
             for y in compute_all_strings(l, alphabet=self.terminals()):
                 if x != y:
                     yield x+y
예제 #6
0
파일: XXR.py 프로젝트: sandguine/Fleet
 def all_strings(self):
     for l in itertools.count(1):
         for s in compute_all_strings(l, alphabet='ab'):
             yield s + s[::-1]