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 (
Collapse
)
Author
Age
Files
Lines
*
Take into account Antoine's remarks.
David A. Madore
2017-03-22
1
-31
/
+35
|
*
Add missing transition on Thompson automaton.
David A. Madore
2017-03-22
2
-27
/
+29
|
*
Put Kleene's star in exponent.
David A. Madore
2017-03-18
1
-4
/
+4
|
*
Take into account Akim's remarks.
David A. Madore
2017-03-18
1
-12
/
+6
|
*
Final exercise (computability).
David A. Madore
2017-03-17
1
-3
/
+69
|
*
Another exercise (on various kinds of languages).
David A. Madore
2017-03-17
1
-0
/
+174
|
*
Recovery exam: an exercise on finite automata.
David A. Madore
2017-03-17
4
-0
/
+345
|
*
Indicate final grading weights.
David A. Madore
2017-03-10
1
-4
/
+10
|
*
Various additional comments.
David A. Madore
2017-03-03
1
-3
/
+19
|
*
Add various comments on exam.
David A. Madore
2017-03-03
1
-3
/
+84
|
*
Fix typo (thanks, Antoine).
David A. Madore
2017-03-02
1
-6
/
+7
|
*
Indicative grading.
exam-20170207
David A. Madore
2017-02-05
1
-0
/
+2
|
*
Microscopic reformulation.
David A. Madore
2017-02-05
1
-2
/
+2
|
*
Trivial change on page number indication.
David A. Madore
2017-02-05
1
-1
/
+5
|
*
Take into account Akim's remarks.
David A. Madore
2017-02-05
1
-80
/
+86
|
*
Take into account Antoine's remarks, rework the end of the third exercise.
David A. Madore
2017-02-05
1
-58
/
+79
|
*
More re-reading and discussion with Bertrand.
David A. Madore
2017-02-05
1
-12
/
+16
|
*
Re-read exam.
David A. Madore
2017-02-05
1
-53
/
+75
|
*
Rework and write solution to third exercise.
David A. Madore
2017-02-05
1
-8
/
+109
|
*
Write another exercise (without answers).
David A. Madore
2017-02-05
1
-0
/
+38
|
*
Add an exercise on computability.
David A. Madore
2017-02-05
1
-0
/
+131
|
*
Offer additional question to allow checking for mistakes.
David A. Madore
2017-02-05
1
-4
/
+15
|
*
Typographic frill.
David A. Madore
2017-02-05
1
-4
/
+4
|
*
More working with automaton.
David A. Madore
2017-02-05
1
-13
/
+170
|
*
Start writing an exercise on finite automata.
David A. Madore
2017-02-05
1
-0
/
+126
|
*
Exam template.
David A. Madore
2017-02-05
1
-0
/
+113
|
*
Fix mistake in elimination of states (thanks, Mathis Chagneux).
David A. Madore
2017-02-05
1
-5
/
+7
|
*
Try to explain a little more how LL and LR parsers work (vigorous handwaving).
David A. Madore
2017-01-31
1
-6
/
+118
|
*
Move remark around.
David A. Madore
2017-01-30
1
-5
/
+4
|
*
Clarifications on curriculum.
David A. Madore
2017-01-30
1
-9
/
+12
|
*
Re-read exercises.
David A. Madore
2017-01-30
1
-37
/
+48
|
*
Fiddle with vertical spacing (i.e., struggle against TeX's page breaking ↵
David A. Madore
2017-01-30
1
-7
/
+39
|
|
|
|
algorithm).
*
Another exercise on context-free grammars.
David A. Madore
2017-01-30
2
-0
/
+108
|
*
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
2
-0
/
+102
|
*
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
4
-0
/
+251
|
*
Another exercise on computability (decidable iff range of an increasing ↵
David A. Madore
2017-01-27
1
-0
/
+60
|
|
|
|
computable function).
*
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
|
*
Yet another minor clarification.
David A. Madore
2017-01-24
1
-7
/
+8
|
*
Un-French-ify another identifier.
David A. Madore
2017-01-24
2
-6
/
+6
|
*
Try to further clarify the use of metacharacters in the "extended" grammar.
David A. Madore
2017-01-24
1
-7
/
+10
|
*
Merge branch 'master' of git.madore.org:teach/inf105
David A. Madore
2017-01-24
2
-86
/
+118
|
\
|
*
Fix excessive search-and-replace.
David A. Madore
2017-01-24
1
-3
/
+3
|
|
|
*
Additional explanations, including one on why implementing optional power ↵
David A. Madore
2017-01-24
1
-4
/
+24
|
|
|
|
|
|
|
|
uses the '?' metacharacter.
[next]