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
path:
root
/
notes-inf105.tex
Commit message (
Collapse
)
Author
Age
Files
Lines
*
The Myhill-Nerode theorem.
David A. Madore
2016-11-30
1
-0
/
+87
|
*
Using the pumping lemma.
David A. Madore
2016-11-30
1
-49
/
+128
|
*
The pumping lemma.
David A. Madore
2016-11-30
1
-1
/
+64
|
*
More remarks about regexp syntax in the computer world.
David A. Madore
2016-11-28
1
-1
/
+38
|
*
Remarks on regexp notations in the real computer world.
David A. Madore
2016-11-25
1
-10
/
+85
|
*
Example of state elimination.
David A. Madore
2016-11-25
1
-1
/
+80
|
*
Regexp-labeled automata, equivalence with NFAs and with regexps.
David A. Madore
2016-11-25
1
-0
/
+216
|
*
Various additional remarks on regular expressions.
David A. Madore
2016-11-25
1
-33
/
+52
|
*
Use "denote" for the relation between a regular expression and a language.
David A. Madore
2016-11-25
1
-28
/
+36
|
*
Rational languages are recognizable.
David A. Madore
2016-11-25
1
-29
/
+148
|
*
Stability of recognizable languages under boolean operations and mirror.
David A. Madore
2016-11-25
1
-10
/
+140
|
*
NFAs with spontaneous transitions: equivalence.
David A. Madore
2016-11-25
1
-9
/
+109
|
*
Define ε-closure.
David A. Madore
2016-11-23
1
-2
/
+12
|
*
NFAs with spontaneous transitions.
David A. Madore
2016-11-23
1
-12
/
+127
|
*
NFAs and determinization of them.
David A. Madore
2016-11-23
1
-15
/
+257
|
*
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
1
-35
/
+198
|
*
Accessible and inaccessible states.
David A. Madore
2016-11-23
1
-11
/
+60
|
*
More on DFAs.
David A. Madore
2016-11-23
1
-28
/
+118
|
*
Start defining DFAs, and give a first example (typeset with dot2tex + TikZ).
David A. Madore
2016-11-14
1
-9
/
+90
|
*
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