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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Number of pages.	David A. Madore	2020-01-21	1	-1/+1
\|
*	Clarification.	David A. Madore	2020-01-21	1	-5/+6
\|
*	Write answer to exercise on CFGs.	David A. Madore	2020-01-21	1	-5/+100
\|
*	Finish writing answers to exercise on unary languages.	David A. Madore	2020-01-21	1	-11/+217
\|
*	Write answer to first exercise.	David A. Madore	2020-01-21	1	-0/+40
\|
*	Front page.	David A. Madore	2020-01-21	1	-3/+7
\|
*	Improve wording in various places.	David A. Madore	2020-01-21	1	-9/+10
\|
*	Third exercise on CFGs.	David A. Madore	2020-01-21	1	-0/+30
\|
*	Exercise on state elimination.	David A. Madore	2020-01-21	1	-1/+31
\|
*	Update exercise on unary languages.	David A. Madore	2020-01-21	1	-5/+39
\|
*	Start writing exam: an exercise on finite automata.	David A. Madore	2020-01-20	1	-0/+174
\|
*	Add two exercises from last year's exam (plus, update index very slightly).printed-2019	David A. Madore	2019-10-22	1	-2/+294
\|
*	Continue writing test.exam-20190328	David A. Madore	2019-03-26	1	-13/+78
\|
*	Start writing an exam.	David A. Madore	2019-03-26	1	-0/+193
\|
*	Take into account Antoine's remarks, but they may be too late.exam-20190205	David A. Madore	2019-02-03	1	-26/+31
\|
*	Take into account Olivier's remarks on exam.	David A. Madore	2019-02-01	1	-20/+25
\|
*	Prepare for printing.	David A. Madore	2019-01-31	1	-11/+11
\|
*	Cursory proofreading.	David A. Madore	2019-01-31	1	-7/+12
\|
*	Missing words (thanks, Michaël).	David A. Madore	2019-01-29	1	-2/+2
\|
*	Write answers to exercise on CFGs.	David A. Madore	2019-01-28	1	-8/+204
\|
*	Add an intermediate question to make exercise easier.	David A. Madore	2019-01-24	1	-20/+25
\|
*	Add an exercise on CFGs.	David A. Madore	2019-01-24	1	-1/+78
\|
*	Answers to exercise about computability.	David A. Madore	2019-01-23	1	-0/+23
\|
*	Adopt convention of underlining the epsilon symbol in regexps.	David A. Madore	2019-01-23	1	-10/+10
\|
*	A very silly exercise on computability.	David A. Madore	2019-01-23	1	-0/+28
\|
*	Start writing exam: exercise on finite automata.	David A. Madore	2019-01-23	1	-0/+372
\|
*	Typo (thanks, Antoine).	David A. Madore	2019-01-23	1	-1/+1
\|
*	Minor clarifications about computability and universality.	David A. Madore	2019-01-16	1	-27/+38
\|
*	Fix bijection between ℕ² and ℕ.	David A. Madore	2019-01-16	1	-3/+3
\|
*	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
\|