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
...
*
Define ε-closure.
David A. Madore
2016-11-23
1
-2
/
+12
*
NFAs with spontaneous transitions.
David A. Madore
2016-11-23
3
-16
/
+144
*
NFAs and determinization of them.
David A. Madore
2016-11-23
3
-15
/
+284
*
Trimming of incomplete DFAs.
David A. Madore
2016-11-23
1
-8
/
+31
*
Incomplete DFAs. Change formating of self-loops in graphs.
David A. Madore
2016-11-23
6
-42
/
+236
*
Accessible and inaccessible states.
David A. Madore
2016-11-23
2
-11
/
+73
*
More on DFAs.
David A. Madore
2016-11-23
2
-28
/
+131
*
Start defining DFAs, and give a first example (typeset with dot2tex + TikZ).
David A. Madore
2016-11-14
2
-9
/
+101
*
More clarifications on rational languages and expressions.
David A. Madore
2016-11-14
1
-8
/
+28
*
Mirror (=transpose) word, palindromes.
David A. Madore
2016-11-09
1
-0
/
+12
*
Rational languages and rational expressions.
David A. Madore
2016-11-09
1
-0
/
+127
*
Clarifications on Kleene's star, and the empty word.
David A. Madore
2016-11-08
1
-8
/
+37
*
More about languages.
David A. Madore
2016-11-07
1
-4
/
+106
*
Languages (start).
David A. Madore
2016-11-07
1
-5
/
+66
*
Concatenation, prefixes, suffixes, factors and subwords.
David A. Madore
2016-11-07
1
-0
/
+126
*
Start writing course notes.
David A. Madore
2016-11-07
1
-0
/
+198
*
Be slightly more precise on what is expected about computability.
David A. Madore
2016-11-04
1
-1
/
+5
*
Slight clarifications on proposed curriculum.
David A. Madore
2016-11-04
1
-6
/
+9
*
Fix course number.
David A. Madore
2016-11-04
1
-1
/
+1
*
Notes on computability.
David A. Madore
2016-11-04
1
-0
/
+605
*
Planned curriculum for INF105.
David A. Madore
2016-11-04
2
-0
/
+147
[prev]