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
...
*
Improve wording in various places.
David A. Madore
2020-01-21
1
-9
/
+10
*
Third exercise on CFGs.
David A. Madore
2020-01-21
1
-0
/
+30
*
Exercise on state elimination.
David A. Madore
2020-01-21
1
-1
/
+31
*
Update exercise on unary languages.
David A. Madore
2020-01-21
1
-5
/
+39
*
Start writing exam: an exercise on finite automata.
David A. Madore
2020-01-20
1
-0
/
+174
*
Add two exercises from last year's exam (plus, update index very slightly).
printed-2019
David A. Madore
2019-10-22
1
-2
/
+294
*
Continue writing test.
exam-20190328
David A. Madore
2019-03-26
1
-13
/
+78
*
Start writing an exam.
David A. Madore
2019-03-26
1
-0
/
+193
*
Take into account Antoine's remarks, but they may be too late.
exam-20190205
David A. Madore
2019-02-03
1
-26
/
+31
*
Take into account Olivier's remarks on exam.
David A. Madore
2019-02-01
1
-20
/
+25
*
Prepare for printing.
David A. Madore
2019-01-31
1
-11
/
+11
*
Cursory proofreading.
David A. Madore
2019-01-31
1
-7
/
+12
*
Missing words (thanks, Michaël).
David A. Madore
2019-01-29
1
-2
/
+2
*
Write answers to exercise on CFGs.
David A. Madore
2019-01-28
1
-8
/
+204
*
Add an intermediate question to make exercise easier.
David A. Madore
2019-01-24
1
-20
/
+25
*
Add an exercise on CFGs.
David A. Madore
2019-01-24
1
-1
/
+78
*
Answers to exercise about computability.
David A. Madore
2019-01-23
1
-0
/
+23
*
Adopt convention of underlining the epsilon symbol in regexps.
David A. Madore
2019-01-23
1
-10
/
+10
*
A very silly exercise on computability.
David A. Madore
2019-01-23
1
-0
/
+28
*
Start writing exam: exercise on finite automata.
David A. Madore
2019-01-23
1
-0
/
+372
*
Typo (thanks, Antoine).
David A. Madore
2019-01-23
1
-1
/
+1
*
Minor clarifications about computability and universality.
David A. Madore
2019-01-16
1
-27
/
+38
*
Fix bijection between ℕ² and ℕ.
David A. Madore
2019-01-16
1
-3
/
+3
*
Various improvements to index.
David A. Madore
2019-01-07
1
-25
/
+31
*
Fix thinko.
David A. Madore
2018-12-10
1
-2
/
+2
*
Typos in slides.
David A. Madore
2018-10-17
1
-2
/
+2
*
Possible set of slides for first course.
David A. Madore
2018-10-16
1
-0
/
+633
*
Copy a lot of exercises into the course notes.
printed-2018
David A. Madore
2018-10-03
1
-2
/
+2586
*
Clarify that answer does not need to be formalized as such.
David A. Madore
2018-03-23
1
-0
/
+5
*
Typo.
David A. Madore
2018-03-23
1
-1
/
+1
*
Merge branch 'master' of git.madore.org:teach/inf105
David A. Madore
2018-03-23
1
-5
/
+5
|
\
|
*
Use \Rightarrow rather than \rightarrow to indicate derivations.
David A. Madore
2018-03-16
1
-5
/
+5
*
|
Prepare for printing.
exam-20180322
David A. Madore
2018-03-19
1
-8
/
+12
*
|
Take into account Olivier's remarks.
David A. Madore
2018-03-19
1
-28
/
+32
*
|
Take into account Antoine's remarks.
David A. Madore
2018-03-18
1
-15
/
+24
*
|
Typo.
David A. Madore
2018-03-16
1
-1
/
+1
*
|
Answers to third exercise.
David A. Madore
2018-03-16
1
-7
/
+51
*
|
Answers to second exercise.
David A. Madore
2018-03-16
1
-3
/
+106
*
|
Answers to exercise 1.
David A. Madore
2018-03-16
1
-1
/
+179
*
|
Change names, add Git line, suggest grading.
David A. Madore
2018-03-16
1
-14
/
+22
*
|
Third exercise.
David A. Madore
2018-03-15
1
-0
/
+99
*
|
Add an exercise on formal grammars.
David A. Madore
2018-03-14
1
-0
/
+40
*
|
Catch-up exam: an exercise on finite automata.
David A. Madore
2018-03-14
1
-0
/
+147
|
/
*
Improve spacing.
David A. Madore
2018-03-08
1
-2
/
+2
*
Merge branch 'exam-20180206' of vega.gro-tsen.net:tex/inf105 into exam-20180206
David A. Madore
2018-03-08
1
-2
/
+2
|
\
|
*
Typos (thanks, Antoine).
David A. Madore
2018-02-06
1
-2
/
+2
*
|
More comments on test.
David A. Madore
2018-03-08
1
-3
/
+60
*
|
Add various comments on answers to test questions.
David A. Madore
2018-02-21
1
-3
/
+34
|
/
*
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
[prev]
[next]