| 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 |