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
...
*
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 algo...
David A. Madore
2017-01-30
1
-7
/
+39
*
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 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
*
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 use...
David A. Madore
2017-01-24
1
-4
/
+24
|
*
Unary minus must work before parentheses.
David A. Madore
2017-01-24
1
-1
/
+1
|
*
Systematically use English names for nonterminals; also replace "unary" by "f...
David A. Madore
2017-01-24
2
-66
/
+66
|
*
Briefly discuss "extended" grammar + various small changes (thanks, Antoine).
David A. Madore
2017-01-24
1
-24
/
+36
*
|
Move notes on computability to main text.
David A. Madore
2017-01-23
2
-605
/
+573
*
|
Update on the dangling else problem (short summary).
David A. Madore
2017-01-23
1
-2
/
+9
|
/
*
Proposed answers to handout on JavaCC.
David A. Madore
2017-01-23
1
-14
/
+209
*
Copy practice handout on JavaCC from last year.
David A. Madore
2017-01-23
3
-0
/
+342
*
Typo/thinko.
David A. Madore
2017-01-17
1
-1
/
+1
*
Fix mistaken exercise/solution on the "dangling else" problem.
David A. Madore
2017-01-17
1
-32
/
+17
*
Provide a short (and very hastily written) summary of the LL/LR approach.
David A. Madore
2017-01-16
1
-2
/
+20
*
Provide a short (and very hastily written) argument for the decidability of a...
David A. Madore
2017-01-16
1
-0
/
+34
*
Various small mistakes (thanks, Olivier).
David A. Madore
2017-01-16
1
-4
/
+4
[prev]
[next]