| author | Christian Urban <urbanc@in.tum.de> | 
| Fri, 10 Apr 2020 12:11:01 +0100 | |
| changeset 716 | 6a2edc950109 | 
| parent 701 | 81377a3eb717 | 
| permissions | -rwxr-xr-x | 
| 49 | 1  | 
#!/usr/bin/env python  | 
2  | 
import re  | 
|
3  | 
import sys  | 
|
4  | 
||
| 613 | 5  | 
# case of catastrophic backtracking in Python  | 
| 558 | 6  | 
#  | 
| 613 | 7  | 
# regex: (a*)*b  | 
8  | 
# strings: aa...a  | 
|
| 558 | 9  | 
#  | 
| 
420
 
25bc57b32efa
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
411 
diff
changeset
 | 
10  | 
# call with timing as:  | 
| 
 
25bc57b32efa
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
411 
diff
changeset
 | 
11  | 
#  | 
| 
 
25bc57b32efa
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
411 
diff
changeset
 | 
12  | 
# > time ./catastrophic.py 20  | 
| 
 
25bc57b32efa
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
411 
diff
changeset
 | 
13  | 
|
| 
 
25bc57b32efa
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
411 
diff
changeset
 | 
14  | 
# counter n given on the command line  | 
| 49 | 15  | 
cn = sys.argv[1]  | 
16  | 
||
| 613 | 17  | 
# calling the matching function  | 
18  | 
s = ("a" * int(cn))
 | 
|
19  | 
m = re.match('(a*)*b' , s) 
 | 
|
| 49 | 20  | 
|
| 613 | 21  | 
print s  | 
| 701 | 22  | 
print m  |