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
*
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
*
Start writing some general stuff about analysis of CFLs.
David A. Madore
2017-01-15
1
-0
/
+74
*
Explain how to work around the dangling else problem at the programmer and at...
David A. Madore
2017-01-13
1
-4
/
+76
*
Continue writing about the dangling else ambiguity.
David A. Madore
2017-01-12
3
-1
/
+171
*
Start writing a new exercise on the "dangling else" problem.
David A. Madore
2017-01-12
2
-0
/
+145
*
An algebraic language whose complement is not algebraic (the language of non-...
David A. Madore
2017-01-12
1
-13
/
+114
*
An exercise applying the pumping lemma for algebraic languages.
David A. Madore
2017-01-12
1
-0
/
+148
*
The intersection of an algebraic and a rational language is algebraic.
David A. Madore
2017-01-10
1
-0
/
+3
*
Add two figures (parse tree) forgotten from commit 029a75c.
David A. Madore
2017-01-10
2
-0
/
+36
*
Add warning about work in progress.
David A. Madore
2017-01-10
1
-0
/
+12
*
Intersection of algebraic and rational languages.
David A. Madore
2017-01-10
1
-0
/
+38
*
Pumping lemma for algebraic languages.
David A. Madore
2017-01-10
1
-1
/
+42
*
More about ambiguity.
David A. Madore
2017-01-10
1
-26
/
+191
*
Fix thinko (thanks, Antoine!).
David A. Madore
2017-01-06
1
-1
/
+1
*
Briefly mention more general grammars. Start writing about ambiguity.
David A. Madore
2017-01-03
1
-3
/
+28
*
Parse trees versus derivations; left and right derivations.
David A. Madore
2017-01-03
1
-16
/
+98
*
Start discussing parse trees.
David A. Madore
2017-01-02
2
-2
/
+147
*
Various examples of CFGs (not necessarily interesting).
David A. Madore
2017-01-02
1
-2
/
+136
*
Another example of CFG (too complicated?).
David A. Madore
2017-01-02
1
-0
/
+44
*
Concatenation, union and star of CFLs.
David A. Madore
2017-01-02
1
-20
/
+108
*
Standardize spelling of "hors contexte".
David A. Madore
2017-01-02
1
-6
/
+6
*
Rational languages are algebraic; regular grammars.
David A. Madore
2017-01-02
1
-6
/
+55
*
Context-free grammars and languages: definition and example.
David A. Madore
2017-01-02
1
-12
/
+165
*
Typo (thanks, Antoine).
David A. Madore
2016-12-28
1
-1
/
+1
*
More minor clarifications / corrections.
David A. Madore
2016-12-13
2
-4
/
+4
*
Clarifications following students' remarks/questions.
David A. Madore
2016-12-13
1
-3
/
+5
*
Add a simple exercise.
David A. Madore
2016-12-12
1
-0
/
+21
*
Typo.
David A. Madore
2016-12-12
1
-1
/
+1
*
Explain how to produce a regexp that matches the multiples of 7 in base 10.
David A. Madore
2016-12-09
2
-1
/
+78
*
Exercise on multiples of 7 in base 10.
David A. Madore
2016-12-09
1
-0
/
+26
*
Exercise on backreferences.
David A. Madore
2016-12-09
2
-11
/
+82
*
Test various egrep features.
David A. Madore
2016-12-09
2
-0
/
+69
*
A simple exercise on using egrep.
David A. Madore
2016-12-09
2
-0
/
+212
*
Clarify decidability of equivalence of automata or regexps.
David A. Madore
2016-12-08
1
-8
/
+52
*
Mention the name "Kleene's algorithm".
David A. Madore
2016-12-08
1
-1
/
+3
*
A clarification on elimination of states.
David A. Madore
2016-12-08
1
-24
/
+33
[next]