regexp: Graph

Mercurial Mercurial > hg > regexp / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) +56 +100 +300 tip

1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML
2011-01-25, by zhang
Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy].
2011-01-24, by zhang
Beautifying of the Other Direction is finished.
2011-01-07, by wu
Rewritten of hard direction once more. To make it looking better.
2010-12-31, by wu
Add new file for the new definition of the hard direction's simplification.
2010-12-14, by wu
added a recent paper by Tobias Nipkow on regular expressions
2010-11-26, by urbanc
added interesting paper by rutten
2010-11-26, by urbanc
added paper
2010-11-25, by urbanc
All cases of the Other direction finished
2010-11-18, by wu
added a test file
2010-11-10, by urbanc
my slides from the talk in Cambridge
2010-11-10, by urbanc
added my slides
2010-11-10, by urbanc
slight tuning of proof by Chunhan
2010-11-08, by urbanc
the ALT case is done;
2010-11-06, by wu
added more experiments
2010-11-03, by urbanc
added initial slides for informal talk in Cambridge
2010-11-03, by urbanc
added slides of chunhan
2010-10-26, by urbanc
more experiments
2010-10-26, by urbanc
a few more experiments, but no proof for the ALT-case
2010-10-24, by urbanc
add some proofs about the other direction
2010-10-23, by wu
deleted two unnecessary lemmas
2010-10-22, by urbanc
added a paper by Constable about the Myhill-Nerode in Nuprl using DFA and a paper by tobias about RegExp->DFA translation
2010-10-22, by urbanc
deleted the test
2010-10-21, by urbanc
tried at the end to prove the other direction (failed at the moment)
2010-10-21, by urbanc
deleted the matcher ate the beginning; made it to work with stable Isabelle and the development version
2010-10-21, by urbanc
former version has a ugly usage of "overloaded";
2010-10-20, by wu
added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing)
2010-10-19, by urbanc
Add a test file, after testing, this file can be deleted.
2010-10-07, by wu
added simple regexp matcher from Slind et al
2010-10-03, by urbanc
test
2010-10-03, by urbanc
added literature
2010-10-03, by urbanc
added initial version by Chunhan
2010-10-03, by urbanc

less more | (0) +56 +100 +300 tip

regexp