| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Explain how to produce a regexp that matches the multiples of 7 in base 10. | David A. Madore | 2016-12-09 | 2 | -1/+78 |
| * | Exercise on multiples of 7 in base 10. | David A. Madore | 2016-12-09 | 1 | -0/+26 |
| * | Exercise on backreferences. | David A. Madore | 2016-12-09 | 2 | -11/+82 |
| * | Test various egrep features. | David A. Madore | 2016-12-09 | 2 | -0/+69 |
| * | A simple exercise on using egrep. | David A. Madore | 2016-12-09 | 2 | -0/+212 |
| * | Clarify decidability of equivalence of automata or regexps. | David A. Madore | 2016-12-08 | 1 | -8/+52 |
| * | Mention the name "Kleene's algorithm". | David A. Madore | 2016-12-08 | 1 | -1/+3 |
| * | A clarification on elimination of states. | David A. Madore | 2016-12-08 | 1 | -24/+33 |
| * | Remark on elimination of spontaneous transitions and automaton transpose. | David A. Madore | 2016-12-08 | 1 | -33/+84 |
| * | Slight changes to section titles. | David A. Madore | 2016-12-08 | 1 | -5/+5 |
| * | Example(s) of minimization algorithm. | David A. Madore | 2016-12-08 | 5 | -0/+215 |
| * | Leading zeros in powers of two. | David A. Madore | 2016-12-02 | 1 | -1/+1 |
| * | Remove any ambiguity about whether 0 is a power of two (it is not). | David A. Madore | 2016-12-01 | 1 | -1/+1 |
| * | Moore's algorithm (further description). | David A. Madore | 2016-12-01 | 1 | -3/+33 |
| * | Various clarifications. Try to explicitate when DFAs need to be complete. | David A. Madore | 2016-12-01 | 1 | -52/+72 |
| * | Fix mistake in determinization of automaton. | David A. Madore | 2016-12-01 | 2 | -11/+13 |
| * | Moore's algorithm. | David A. Madore | 2016-11-30 | 1 | -2/+89 |
| * | The Myhill-Nerode theorem. | David A. Madore | 2016-11-30 | 1 | -0/+87 |
| * | Using the pumping lemma. | David A. Madore | 2016-11-30 | 1 | -49/+128 |
| * | Typo (thanks, Olivier). | David A. Madore | 2016-11-30 | 1 | -1/+1 |
| * | The pumping lemma. | David A. Madore | 2016-11-30 | 1 | -1/+64 |
| * | Clarifications. | David A. Madore | 2016-11-30 | 1 | -9/+11 |
| * | Fix mistake in minimization of automaton. | David A. Madore | 2016-11-30 | 2 | -28/+30 |
| * | Re-read exercise sheet. | David A. Madore | 2016-11-30 | 1 | -23/+25 |
| * | Exercise on determinizing and minimizing an automaton. | David A. Madore | 2016-11-30 | 5 | -0/+303 |
| * | Another exercise on rational languages. | David A. Madore | 2016-11-29 | 1 | -0/+25 |
| * | Write an exercise on rational languages. | David A. Madore | 2016-11-29 | 2 | -0/+228 |
| * | More remarks about regexp syntax in the computer world. | David A. Madore | 2016-11-28 | 1 | -1/+38 |
| * | Remarks on regexp notations in the real computer world. | David A. Madore | 2016-11-25 | 1 | -10/+85 |
| * | Example of state elimination. | David A. Madore | 2016-11-25 | 4 | -1/+116 |
| * | Regexp-labeled automata, equivalence with NFAs and with regexps. | David A. Madore | 2016-11-25 | 1 | -0/+216 |
| * | Various additional remarks on regular expressions. | David A. Madore | 2016-11-25 | 1 | -33/+52 |
| * | Use "denote" for the relation between a regular expression and a language. | David A. Madore | 2016-11-25 | 1 | -28/+36 |
| * | Rational languages are recognizable. | David A. Madore | 2016-11-25 | 1 | -29/+148 |
| * | Stability of recognizable languages under boolean operations and mirror. | David A. Madore | 2016-11-25 | 1 | -10/+140 |
| * | NFAs with spontaneous transitions: equivalence. | David A. Madore | 2016-11-25 | 2 | -9/+123 |
| * | Define ε-closure. | David A. Madore | 2016-11-23 | 1 | -2/+12 |
| * | NFAs with spontaneous transitions. | David A. Madore | 2016-11-23 | 3 | -16/+144 |
| * | NFAs and determinization of them. | David A. Madore | 2016-11-23 | 3 | -15/+284 |
| * | Trimming of incomplete DFAs. | David A. Madore | 2016-11-23 | 1 | -8/+31 |
| * | Incomplete DFAs. Change formating of self-loops in graphs. | David A. Madore | 2016-11-23 | 6 | -42/+236 |
| * | Accessible and inaccessible states. | David A. Madore | 2016-11-23 | 2 | -11/+73 |
| * | More on DFAs. | David A. Madore | 2016-11-23 | 2 | -28/+131 |
| * | Start defining DFAs, and give a first example (typeset with dot2tex + TikZ). | David A. Madore | 2016-11-14 | 2 | -9/+101 |
| * | More clarifications on rational languages and expressions. | David A. Madore | 2016-11-14 | 1 | -8/+28 |
| * | Mirror (=transpose) word, palindromes. | David A. Madore | 2016-11-09 | 1 | -0/+12 |
| * | Rational languages and rational expressions. | David A. Madore | 2016-11-09 | 1 | -0/+127 |
| * | Clarifications on Kleene's star, and the empty word. | David A. Madore | 2016-11-08 | 1 | -8/+37 |
| * | More about languages. | David A. Madore | 2016-11-07 | 1 | -4/+106 |
| * | Languages (start). | David A. Madore | 2016-11-07 | 1 | -5/+66 |
