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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various improvements to index.	David A. Madore	2019-01-07	1	-25/+31
\|
*	Fix thinko.	David A. Madore	2018-12-10	1	-2/+2
\|
*	Typos in slides.	David A. Madore	2018-10-17	1	-2/+2
\|
*	Possible set of slides for first course.	David A. Madore	2018-10-16	1	-0/+633
\|
*	Copy a lot of exercises into the course notes.printed-2018	David A. Madore	2018-10-03	1	-2/+2586
\|
*	Clarify that answer does not need to be formalized as such.	David A. Madore	2018-03-23	1	-0/+5
\|
*	Typo.	David A. Madore	2018-03-23	1	-1/+1
\|
*	Merge branch 'master' of git.madore.org:teach/inf105	David A. Madore	2018-03-23	1	-5/+5
\|\
\| *	Use \Rightarrow rather than \rightarrow to indicate derivations.	David A. Madore	2018-03-16	1	-5/+5
\| \|
* \|	Prepare for printing.exam-20180322	David A. Madore	2018-03-19	1	-8/+12
\| \|
* \|	Take into account Olivier's remarks.	David A. Madore	2018-03-19	1	-28/+32
\| \|
* \|	Take into account Antoine's remarks.	David A. Madore	2018-03-18	1	-15/+24
\| \|
* \|	Typo.	David A. Madore	2018-03-16	1	-1/+1
\| \|
* \|	Answers to third exercise.	David A. Madore	2018-03-16	1	-7/+51
\| \|
* \|	Answers to second exercise.	David A. Madore	2018-03-16	1	-3/+106
\| \|
* \|	Answers to exercise 1.	David A. Madore	2018-03-16	1	-1/+179
\| \|
* \|	Change names, add Git line, suggest grading.	David A. Madore	2018-03-16	1	-14/+22
\| \|
* \|	Third exercise.	David A. Madore	2018-03-15	1	-0/+99
\| \|
* \|	Add an exercise on formal grammars.	David A. Madore	2018-03-14	1	-0/+40
\| \|
* \|	Catch-up exam: an exercise on finite automata.	David A. Madore	2018-03-14	1	-0/+147
\|/
*	Improve spacing.	David A. Madore	2018-03-08	1	-2/+2
\|
*	Merge branch 'exam-20180206' of vega.gro-tsen.net:tex/inf105 into exam-20180206	David A. Madore	2018-03-08	1	-2/+2
\|\
\| *	Typos (thanks, Antoine).	David A. Madore	2018-02-06	1	-2/+2
\| \|
* \|	More comments on test.	David A. Madore	2018-03-08	1	-3/+60
\| \|
* \|	Add various comments on answers to test questions.	David A. Madore	2018-02-21	1	-3/+34
\|/
*	Fix thinko (thanks, Mikaël).exam-20180206	David A. Madore	2018-01-31	1	-1/+1
\|
*	Add a remark on the point of the last exercise.	David A. Madore	2018-01-30	1	-0/+12
\|
*	Add an extra question.	David A. Madore	2018-01-30	1	-1/+65
\|
*	Eliminate ugly slash.	David A. Madore	2018-01-30	1	-1/+1
\|
*	Make corrections suggested by Olivier.	David A. Madore	2018-01-29	1	-19/+21
\|
*	Remove now spurious clause.	David A. Madore	2018-01-29	1	-1/+1
\|
*	Typo.	David A. Madore	2018-01-29	1	-1/+1
\|
*	Simple Perl program used to generate TikZ trees.	David A. Madore	2018-01-29	1	-0/+116
\|
*	Update instructions for test.	David A. Madore	2018-01-29	1	-8/+3
\|
*	Write answers to third exercise.	David A. Madore	2018-01-29	1	-10/+68
\|
*	Write answers to second exercise.	David A. Madore	2018-01-29	1	-2/+117
\|
*	Write answers to first exercise.	David A. Madore	2018-01-29	1	-1/+151
\|
*	Possible exam for 2018-02-06.	David A. Madore	2018-01-25	1	-0/+288
\|
*	Erratum on the errata. :-\	David A. Madore	2018-01-25	1	-1/+1
\|
*	Write a list of errata (relative to version f1826f0f50c).	David A. Madore	2018-01-25	1	-0/+259
\|
*	Fix broken link (thanks, Mikaël).	David A. Madore	2018-01-25	1	-1/+1
\|
*	Small syntactic clarifications.	David A. Madore	2018-01-16	1	-7/+7
\|
*	Take into account Antoine's remarks.	David A. Madore	2018-01-15	1	-3/+3
\|
*	Typo.	David A. Madore	2018-01-15	1	-1/+1
\|
*	Try to make clarification even clearer.	David A. Madore	2018-01-08	1	-2/+2
\|
*	Spell-check.	David A. Madore	2018-01-08	1	-2/+2
\|
*	Take into account Antoine's remarks.	David A. Madore	2018-01-08	1	-10/+13
\|
*	Clear syntactic ambiguity.	David A. Madore	2017-12-13	1	-1/+1
\|
*	Add a further question to an exercise.	David A. Madore	2017-12-07	4	-0/+103
\|
*	Fix proof of standardization of automata.	David A. Madore	2017-11-28	1	-3/+6
\| \| \| \| \|	The case where the added state should have been final was missing. Thanks to Antoine for pointing this out.