equal
deleted
inserted
replaced
255 for this kind of problems. |
255 for this kind of problems. |
256 </p> |
256 </p> |
257 |
257 |
258 <p> |
258 <p> |
259 <B>Literature:</B> |
259 <B>Literature:</B> |
260 Central to this project is the paper <A HREF="http://www.dcc.fc.up.pt/~nam/publica/ijcs08.pdf">here</A>. |
260 Central to this project are the papers <A HREF="http://www.dcc.fc.up.pt/~nam/publica/ijcs08.pdf">here</A> |
|
261 and <A HREF="http://www.dcc.fc.up.pt/~nam/publica/51480046.pdf">here</A>. |
261 Other methods have been described, for example, |
262 Other methods have been described, for example, |
262 <A HREF="http://www4.informatik.tu-muenchen.de/~krauss/papers/rexp.pdf">here</A>. |
263 <A HREF="http://www4.informatik.tu-muenchen.de/~krauss/papers/rexp.pdf">here</A>. |
263 A relatively complicated method, based on automata, is described |
264 A relatively complicated method, based on automata, is described |
264 <A HREF="http://sardes.inrialpes.fr/~braibant/atbr/">here</A>. |
265 <A HREF="http://sardes.inrialpes.fr/~braibant/atbr/">here</A>. |
265 </p> |
266 </p> |
269 </TR> |
270 </TR> |
270 </TABLE> |
271 </TABLE> |
271 |
272 |
272 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
273 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
273 <!-- hhmts start --> |
274 <!-- hhmts start --> |
274 Last modified: Mon Dec 12 11:00:43 GMT 2011 |
275 Last modified: Mon Dec 19 22:33:09 GMT 2011 |
275 <!-- hhmts end --> |
276 <!-- hhmts end --> |
276 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
277 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
277 </BODY> |
278 </BODY> |
278 </HTML> |
279 </HTML> |