equal
deleted
inserted
replaced
1 % The data files, written on the first run. |
1 % The data files, written on the first run. |
2 |
2 |
3 |
3 %% example a?{n} a{n} |
|
4 \begin{filecontents}{re-python.data} |
|
5 1 0.029 |
|
6 5 0.029 |
|
7 10 0.029 |
|
8 15 0.032 |
|
9 16 0.042 |
|
10 17 0.042 |
|
11 18 0.055 |
|
12 19 0.084 |
|
13 20 0.136 |
|
14 21 0.248 |
|
15 22 0.464 |
|
16 23 0.899 |
|
17 24 1.773 |
|
18 25 3.505 |
|
19 26 6.993 |
|
20 27 14.503 |
|
21 28 29.307 |
|
22 #29 58.886 |
|
23 \end{filecontents} |
4 |
24 |
5 |
25 |
6 \begin{filecontents}{re-python2.data} |
26 \begin{filecontents}{re-python2.data} |
7 1 0.033 |
27 1 0.033 |
8 5 0.036 |
28 5 0.036 |
19 26 7.08 |
39 26 7.08 |
20 27 14.12 |
40 27 14.12 |
21 28 26.69 |
41 28 26.69 |
22 \end{filecontents} |
42 \end{filecontents} |
23 |
43 |
24 |
44 %% example a?{n} a{n} |
|
45 \begin{filecontents}{re-ruby.data} |
|
46 1 0.00006 |
|
47 #2 0.00003 |
|
48 #3 0.00001 |
|
49 #4 0.00001 |
|
50 5 0.00001 |
|
51 #6 0.00002 |
|
52 #7 0.00002 |
|
53 #8 0.00004 |
|
54 #9 0.00007 |
|
55 10 0.00013 |
|
56 #11 0.00026 |
|
57 #12 0.00055 |
|
58 #13 0.00106 |
|
59 #14 0.00196 |
|
60 15 0.00378 |
|
61 16 0.00764 |
|
62 17 0.01606 |
|
63 18 0.03094 |
|
64 19 0.06508 |
|
65 20 0.12420 |
|
66 21 0.25393 |
|
67 22 0.51449 |
|
68 23 1.02174 |
|
69 24 2.05998 |
|
70 25 4.22514 |
|
71 26 8.42479 |
|
72 27 16.88678 |
|
73 28 34.79653 |
|
74 \end{filecontents} |
25 |
75 |
26 % JavaScript, example (a*)*b |
76 % JavaScript, example (a*)*b |
27 \begin{filecontents}{re-js.data} |
77 \begin{filecontents}{re-js.data} |
28 5 0.061 |
78 5 0.061 |
29 10 0.061 |
79 10 0.061 |