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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix mistake in elimination of states (thanks, Mathis Chagneux).	David A. Madore	2017-02-05	1	-5/+7
*	Re-read exercises.	David A. Madore	2017-01-30	1	-37/+48
*	Fiddle with vertical spacing (i.e., struggle against TeX's page breaking algo...	David A. Madore	2017-01-30	1	-7/+39
*	Another exercise on context-free grammars.	David A. Madore	2017-01-30	1	-0/+86
*	Exercise on non-ambiguity and analysis of a simple context-free grammar.	David A. Madore	2017-01-30	1	-0/+161
*	Remove syntactic ambiguity.	David A. Madore	2017-01-30	1	-1/+1
*	Clarify statement on busy-beaver function.	David A. Madore	2017-01-30	1	-5/+6
*	An exercise on Kleene's algorithm.	David A. Madore	2017-01-30	1	-0/+88
*	Fix/clarification in answer to an exercise.	David A. Madore	2017-01-30	1	-1/+2
*	An exercise on finite automata.	David A. Madore	2017-01-27	1	-0/+181
*	Another exercise on computability (decidable iff range of an increasing compu...	David A. Madore	2017-01-27	1	-0/+60
*	Another exercice on decidability.	David A. Madore	2017-01-27	1	-2/+69
*	Busy beaver function.	David A. Madore	2017-01-27	1	-0/+65
*	Union, intersection, concatenation and star of decidable vs. semi-decidable l...	David A. Madore	2017-01-27	1	-0/+97
*	Write a sample exercice on computability.	David A. Madore	2017-01-27	1	-0/+197