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

	Commit message (Expand)	Author	Age	Files	Lines
*	Example(s) of minimization algorithm.	David A. Madore	2016-12-08	4	-0/+78
*	Fix mistake in determinization of automaton.	David A. Madore	2016-12-01	1	-1/+2
*	Fix mistake in minimization of automaton.	David A. Madore	2016-11-30	1	-3/+5
*	Exercise on determinizing and minimizing an automaton.	David A. Madore	2016-11-30	4	-0/+95
*	Write an exercise on rational languages.	David A. Madore	2016-11-29	1	-0/+11
*	Example of state elimination.	David A. Madore	2016-11-25	3	-0/+36
*	NFAs with spontaneous transitions: equivalence.	David A. Madore	2016-11-25	1	-0/+14
*	NFAs with spontaneous transitions.	David A. Madore	2016-11-23	2	-4/+17
*	NFAs and determinization of them.	David A. Madore	2016-11-23	2	-0/+27
*	Incomplete DFAs. Change formating of self-loops in graphs.	David A. Madore	2016-11-23	5	-7/+38
*	Accessible and inaccessible states.	David A. Madore	2016-11-23	1	-0/+13
*	More on DFAs.	David A. Madore	2016-11-23	1	-0/+13
*	Start defining DFAs, and give a first example (typeset with dot2tex + TikZ).	David A. Madore	2016-11-14	1	-0/+11