| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix mistake in elimination of states (thanks, Mathis Chagneux). | David A. Madore | 2017-02-05 | 1 | -5/+7 |
| * | Re-read exercises. | David A. Madore | 2017-01-30 | 1 | -37/+48 |
| * | Fiddle with vertical spacing (i.e., struggle against TeX's page breaking algo... | David A. Madore | 2017-01-30 | 1 | -7/+39 |
| * | Another exercise on context-free grammars. | David A. Madore | 2017-01-30 | 1 | -0/+86 |
| * | Exercise on non-ambiguity and analysis of a simple context-free grammar. | David A. Madore | 2017-01-30 | 1 | -0/+161 |
| * | Remove syntactic ambiguity. | David A. Madore | 2017-01-30 | 1 | -1/+1 |
| * | Clarify statement on busy-beaver function. | David A. Madore | 2017-01-30 | 1 | -5/+6 |
| * | An exercise on Kleene's algorithm. | David A. Madore | 2017-01-30 | 1 | -0/+88 |
| * | Fix/clarification in answer to an exercise. | David A. Madore | 2017-01-30 | 1 | -1/+2 |
| * | An exercise on finite automata. | David A. Madore | 2017-01-27 | 1 | -0/+181 |
| * | Another exercise on computability (decidable iff range of an increasing compu... | David A. Madore | 2017-01-27 | 1 | -0/+60 |
| * | Another exercice on decidability. | David A. Madore | 2017-01-27 | 1 | -2/+69 |
| * | Busy beaver function. | David A. Madore | 2017-01-27 | 1 | -0/+65 |
| * | Union, intersection, concatenation and star of decidable vs. semi-decidable l... | David A. Madore | 2017-01-27 | 1 | -0/+97 |
| * | Write a sample exercice on computability. | David A. Madore | 2017-01-27 | 1 | -0/+197 |
