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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	More working with automaton.	David A. Madore	2017-02-05	1	-13/+170
*	Start writing an exercise on finite automata.	David A. Madore	2017-02-05	1	-0/+126
*	Exam template.	David A. Madore	2017-02-05	1	-0/+113
*	Fix mistake in elimination of states (thanks, Mathis Chagneux).	David A. Madore	2017-02-05	1	-5/+7
*	Try to explain a little more how LL and LR parsers work (vigorous handwaving).	David A. Madore	2017-01-31	1	-6/+118
*	Move remark around.	David A. Madore	2017-01-30	1	-5/+4
*	Clarifications on curriculum.	David A. Madore	2017-01-30	1	-9/+12
*	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	2	-0/+108
*	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	2	-0/+102
*	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	4	-0/+251
*	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
*	Yet another minor clarification.	David A. Madore	2017-01-24	1	-7/+8
*	Un-French-ify another identifier.	David A. Madore	2017-01-24	2	-6/+6
*	Try to further clarify the use of metacharacters in the "extended" grammar.	David A. Madore	2017-01-24	1	-7/+10
*	Merge branch 'master' of git.madore.org:teach/inf105	David A. Madore	2017-01-24	2	-86/+118
\|\
\| *	Fix excessive search-and-replace.	David A. Madore	2017-01-24	1	-3/+3
\| *	Additional explanations, including one on why implementing optional power use...	David A. Madore	2017-01-24	1	-4/+24
\| *	Unary minus must work before parentheses.	David A. Madore	2017-01-24	1	-1/+1
\| *	Systematically use English names for nonterminals; also replace "unary" by "f...	David A. Madore	2017-01-24	2	-66/+66
\| *	Briefly discuss "extended" grammar + various small changes (thanks, Antoine).	David A. Madore	2017-01-24	1	-24/+36
* \|	Move notes on computability to main text.	David A. Madore	2017-01-23	2	-605/+573
* \|	Update on the dangling else problem (short summary).	David A. Madore	2017-01-23	1	-2/+9
\|/
*	Proposed answers to handout on JavaCC.	David A. Madore	2017-01-23	1	-14/+209
*	Copy practice handout on JavaCC from last year.	David A. Madore	2017-01-23	3	-0/+342
*	Typo/thinko.	David A. Madore	2017-01-17	1	-1/+1
*	Fix mistaken exercise/solution on the "dangling else" problem.	David A. Madore	2017-01-17	1	-32/+17
*	Provide a short (and very hastily written) summary of the LL/LR approach.	David A. Madore	2017-01-16	1	-2/+20
*	Provide a short (and very hastily written) argument for the decidability of a...	David A. Madore	2017-01-16	1	-0/+34
*	Various small mistakes (thanks, Olivier).	David A. Madore	2017-01-16	1	-4/+4
*	Start writing some general stuff about analysis of CFLs.	David A. Madore	2017-01-15	1	-0/+74
*	Explain how to work around the dangling else problem at the programmer and at...	David A. Madore	2017-01-13	1	-4/+76
*	Continue writing about the dangling else ambiguity.	David A. Madore	2017-01-12	3	-1/+171
*	Start writing a new exercise on the "dangling else" problem.	David A. Madore	2017-01-12	2	-0/+145
*	An algebraic language whose complement is not algebraic (the language of non-...	David A. Madore	2017-01-12	1	-13/+114
*	An exercise applying the pumping lemma for algebraic languages.	David A. Madore	2017-01-12	1	-0/+148
*	The intersection of an algebraic and a rational language is algebraic.	David A. Madore	2017-01-10	1	-0/+3
*	Add two figures (parse tree) forgotten from commit 029a75c.	David A. Madore	2017-01-10	2	-0/+36
*	Add warning about work in progress.	David A. Madore	2017-01-10	1	-0/+12
*	Intersection of algebraic and rational languages.	David A. Madore	2017-01-10	1	-0/+38
*	Pumping lemma for algebraic languages.	David A. Madore	2017-01-10	1	-1/+42