teach/inf105.git - INF105 (THL: théorie des langages)

	Commit message (Expand)	Author	Age	Files	Lines
*	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