| Tue, 26 Oct 2010 23:09:31 +0000 |
urbanc |
added slides of chunhan
|
changeset |
files
|
| Tue, 26 Oct 2010 13:01:22 +0000 |
urbanc |
more experiments
|
changeset |
files
|
| Sun, 24 Oct 2010 01:17:44 +0000 |
urbanc |
a few more experiments, but no proof for the ALT-case
|
changeset |
files
|
| Sat, 23 Oct 2010 12:51:38 +0000 |
wu |
add some proofs about the other direction
|
changeset |
files
|
| Fri, 22 Oct 2010 19:43:56 +0000 |
urbanc |
deleted two unnecessary lemmas
|
changeset |
files
|
| Fri, 22 Oct 2010 10:45:01 +0000 |
urbanc |
added a paper by Constable about the Myhill-Nerode in Nuprl using DFA and a paper by tobias about RegExp->DFA translation
|
changeset |
files
|
| Thu, 21 Oct 2010 15:35:03 +0000 |
urbanc |
deleted the test
|
changeset |
files
|
| Thu, 21 Oct 2010 15:06:30 +0000 |
urbanc |
tried at the end to prove the other direction (failed at the moment)
|
changeset |
files
|
| Thu, 21 Oct 2010 13:42:08 +0000 |
urbanc |
deleted the matcher ate the beginning; made it to work with stable Isabelle and the development version
|
changeset |
files
|
| Wed, 20 Oct 2010 14:11:14 +0000 |
wu |
former version has a ugly usage of "overloaded";
|
changeset |
files
|
| Tue, 19 Oct 2010 11:51:05 +0000 |
urbanc |
added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing)
|
changeset |
files
|
| Thu, 07 Oct 2010 05:30:21 +0000 |
wu |
Add a test file, after testing, this file can be deleted.
|
changeset |
files
|
| Sun, 03 Oct 2010 08:12:48 +0000 |
urbanc |
added simple regexp matcher from Slind et al
|
changeset |
files
|
| Sun, 03 Oct 2010 06:55:21 +0000 |
urbanc |
test
|
changeset |
files
|
| Sun, 03 Oct 2010 06:42:01 +0000 |
urbanc |
added literature
|
changeset |
files
|
| Sun, 03 Oct 2010 06:32:12 +0000 |
urbanc |
added initial version by Chunhan
|
changeset |
files
|