equal
deleted
inserted
replaced
140 20 2.34022 |
140 20 2.34022 |
141 \end{filecontents} |
141 \end{filecontents} |
142 |
142 |
143 %% re2.scala example a?{n} a{n} |
143 %% re2.scala example a?{n} a{n} |
144 \begin{filecontents}{re2.data} |
144 \begin{filecontents}{re2.data} |
145 1 0.00006 |
145 1 0.00050 |
146 101 0.00605 |
146 101 0.02030 |
147 201 0.04343 |
147 201 0.10587 |
148 301 0.16469 |
148 301 0.31188 |
149 401 0.41954 |
149 401 0.32794 |
150 501 0.83703 |
150 501 0.64490 |
151 601 1.66925 |
151 601 1.16738 |
152 701 2.71086 |
152 701 2.10815 |
153 801 4.19745 |
153 801 3.47144 |
154 901 7.56495 |
154 901 6.80621 |
155 1001 12.42103 |
155 1001 12.35611 |
156 1101 20.41763 |
156 1101 23.80084 |
157 \end{filecontents} |
157 \end{filecontents} |
158 |
158 |
159 %% re2.scala: example (a*)* b |
159 %% re2.scala: example (a*)* b |
160 \begin{filecontents}{re2a.data} |
160 \begin{filecontents}{re2a.data} |
161 1 0.00004 |
161 1 0.00004 |
180 20 2.56922 |
180 20 2.56922 |
181 \end{filecontents} |
181 \end{filecontents} |
182 |
182 |
183 %% re3.scala: example a?{n} a{n} |
183 %% re3.scala: example a?{n} a{n} |
184 \begin{filecontents}{re3.data} |
184 \begin{filecontents}{re3.data} |
185 1 0.00005 |
185 1 0.00003 |
186 1001 0.63505 |
186 1001 0.03887 |
187 2001 2.53029 |
187 2001 0.15666 |
188 3001 5.72804 |
188 3001 0.35910 |
189 4001 9.94246 |
189 4001 0.63950 |
190 5001 15.52770 |
190 5001 1.00241 |
191 6001 22.44126 |
191 6001 1.50480 |
192 7001 30.86867 |
192 7001 2.11568 |
193 8001 39.32242 |
193 8001 2.71208 |
194 9001 48.96998 |
194 9001 3.41157 |
|
195 10001 4.19962 |
|
196 11001 5.70387 |
195 \end{filecontents} |
197 \end{filecontents} |
196 |
198 |
197 %% re3.scala: example (a*)* b |
199 %% re3.scala: example (a*)* b |
198 \begin{filecontents}{re3a.data} |
200 \begin{filecontents}{re3a.data} |
199 1 0.00014 |
201 1 0.00003 |
200 500001 2.61059 |
202 500001 0.22527 |
201 1000001 5.42773 |
203 1000001 0.62752 |
202 1500001 8.02603 |
204 1500001 0.88485 |
203 2000001 10.49844 |
205 2000001 1.39815 |
204 2500001 13.34234 |
206 2500001 1.68619 |
205 3000001 16.17491 |
207 3000001 1.94957 |
206 3500001 19.11650 |
208 3500001 2.15878 |
207 4000001 21.66151 |
209 4000001 2.59918 |
208 4500001 24.85496 |
210 4500001 5.90679 |
209 5000001 28.52113 |
211 5000001 13.11295 |
210 5500001 28.54548 |
212 5500001 19.15376 |
211 6000001 32.39523 |
213 6000001 40.16373 |
212 6500001 45.13486 |
214 \end{filecontents} |
213 7000001 54.15018 |
215 \begin{filecontents}{re3b.data} |
214 7500001 71.32218 |
216 1 0.00015 |
|
217 500001 0.28337 |
|
218 1000001 0.53271 |
|
219 1500001 0.84478 |
|
220 2000001 1.11763 |
|
221 2500001 1.76656 |
|
222 3000001 2.13310 |
|
223 3500001 2.39576 |
|
224 4000001 2.98624 |
|
225 4500001 5.96529 |
|
226 5000001 13.56911 |
|
227 5500001 18.43089 |
|
228 6000001 40.33704 |
215 \end{filecontents} |
229 \end{filecontents} |
216 |
230 |
217 %% re4.scala example a?{n} a{n} |
231 %% re4.scala example a?{n} a{n} |
218 \begin{filecontents}{re4.data} |
232 \begin{filecontents}{re4.data} |
219 1 0.01399 |
233 1 0.01399 |