| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 ↵ | David A. Madore | 2017-01-27 | 1 | -0/+97 |
| | | | | | languages. | ||||
| * | Write a sample exercice on computability. | David A. Madore | 2017-01-27 | 1 | -0/+197 |
 |
index : teach/inf105.git | |
| INF105 (THL: théorie des langages) | git repository hosting |
| summaryrefslogtreecommitdiffstats |
path: root/exercices3.tex