index
:
teach/inf105.git
master
INF105 (THL: théorie des langages)
git repository hosting
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Typos (thanks, Antoine).
David A. Madore
2018-02-06
1
-2
/
+2
*
Fix thinko (thanks, Mikaël).
exam-20180206
David A. Madore
2018-01-31
1
-1
/
+1
*
Add a remark on the point of the last exercise.
David A. Madore
2018-01-30
1
-0
/
+12
*
Add an extra question.
David A. Madore
2018-01-30
1
-1
/
+65
*
Eliminate ugly slash.
David A. Madore
2018-01-30
1
-1
/
+1
*
Make corrections suggested by Olivier.
David A. Madore
2018-01-29
1
-19
/
+21
*
Remove now spurious clause.
David A. Madore
2018-01-29
1
-1
/
+1
*
Typo.
David A. Madore
2018-01-29
1
-1
/
+1
*
Simple Perl program used to generate TikZ trees.
David A. Madore
2018-01-29
1
-0
/
+116
*
Update instructions for test.
David A. Madore
2018-01-29
1
-8
/
+3
*
Write answers to third exercise.
David A. Madore
2018-01-29
1
-10
/
+68
*
Write answers to second exercise.
David A. Madore
2018-01-29
1
-2
/
+117
*
Write answers to first exercise.
David A. Madore
2018-01-29
1
-1
/
+151
*
Possible exam for 2018-02-06.
David A. Madore
2018-01-25
1
-0
/
+288
*
Erratum on the errata. :-\
David A. Madore
2018-01-25
1
-1
/
+1
*
Write a list of errata (relative to version f1826f0f50c).
David A. Madore
2018-01-25
1
-0
/
+259
*
Fix broken link (thanks, Mikaël).
David A. Madore
2018-01-25
1
-1
/
+1
*
Small syntactic clarifications.
David A. Madore
2018-01-16
1
-7
/
+7
*
Take into account Antoine's remarks.
David A. Madore
2018-01-15
1
-3
/
+3
*
Typo.
David A. Madore
2018-01-15
1
-1
/
+1
*
Try to make clarification even clearer.
David A. Madore
2018-01-08
1
-2
/
+2
*
Spell-check.
David A. Madore
2018-01-08
1
-2
/
+2
*
Take into account Antoine's remarks.
David A. Madore
2018-01-08
1
-10
/
+13
*
Clear syntactic ambiguity.
David A. Madore
2017-12-13
1
-1
/
+1
*
Add a further question to an exercise.
David A. Madore
2017-12-07
4
-0
/
+103
*
Fix proof of standardization of automata.
David A. Madore
2017-11-28
1
-3
/
+6
*
Fix typo pointed out by Mikaël.
David A. Madore
2017-11-27
1
-1
/
+1
*
Minor clarification.
David A. Madore
2017-11-20
1
-1
/
+1
*
Increase inner margin (at expense of outer margin, so as to keep line width).
printed-2017
David A. Madore
2017-11-14
1
-1
/
+1
*
Plenty more typos (thanks, Hélène S.).
David A. Madore
2017-11-14
1
-11
/
+11
*
Imprimatur.
David A. Madore
2017-11-13
1
-10
/
+7
*
Corrections suggested by a3nm.
David A. Madore
2017-11-13
2
-5
/
+5
*
Typo.
David A. Madore
2017-11-11
1
-1
/
+1
*
Missing comma.
David A. Madore
2017-11-10
1
-1
/
+1
*
Corrections suggested by Mikaël.
David A. Madore
2017-11-10
1
-79
/
+83
*
Downgrade level of unfinishedness and associated warning.
David A. Madore
2017-11-08
1
-9
/
+6
*
Add remark about escaping regexps under Unix shell.
David A. Madore
2017-11-08
1
-0
/
+8
*
Add remark about Kleene's star as smallest solution to an equation.
David A. Madore
2017-11-08
1
-0
/
+10
*
Change notation A_r to A(r) for consistency's sake.
David A. Madore
2017-11-08
1
-17
/
+20
*
Add more white space to make text less dense.
David A. Madore
2017-11-08
1
-34
/
+260
*
Add footnote on grammar of regexps themselves.
David A. Madore
2017-11-08
1
-2
/
+9
*
Change notations L_r and L_A to L(r) and L(A).
David A. Madore
2017-11-08
1
-52
/
+53
*
Corrections suggested by Jacques.
David A. Madore
2017-11-07
1
-8
/
+8
*
Expand discussion about practical parsing of CFGs (LL and LR approaches).
David A. Madore
2017-11-07
1
-45
/
+97
*
Reread description of CYK algorithm.
David A. Madore
2017-11-06
1
-14
/
+15
*
A brief description of the CYK dynamic programming algorithm for CFGs.
David A. Madore
2017-11-06
1
-8
/
+107
*
Small changes in wording of curriculum.
David A. Madore
2017-11-05
1
-8
/
+11
*
Reread and rework introduction to computability.
David A. Madore
2017-11-03
1
-125
/
+184
*
Reread section on formal grammars. Rewrite proof that algebraic languages ar...
David A. Madore
2017-11-03
1
-51
/
+131
*
More clarifications.
David A. Madore
2017-11-02
1
-13
/
+20
[next]