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

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	More about ambiguity.	David A. Madore	2017-01-10	1	-26/+191
*	Fix thinko (thanks, Antoine!).	David A. Madore	2017-01-06	1	-1/+1
*	Briefly mention more general grammars. Start writing about ambiguity.	David A. Madore	2017-01-03	1	-3/+28
*	Parse trees versus derivations; left and right derivations.	David A. Madore	2017-01-03	1	-16/+98
*	Start discussing parse trees.	David A. Madore	2017-01-02	2	-2/+147
*	Various examples of CFGs (not necessarily interesting).	David A. Madore	2017-01-02	1	-2/+136
*	Another example of CFG (too complicated?).	David A. Madore	2017-01-02	1	-0/+44
*	Concatenation, union and star of CFLs.	David A. Madore	2017-01-02	1	-20/+108
*	Standardize spelling of "hors contexte".	David A. Madore	2017-01-02	1	-6/+6
*	Rational languages are algebraic; regular grammars.	David A. Madore	2017-01-02	1	-6/+55
*	Context-free grammars and languages: definition and example.	David A. Madore	2017-01-02	1	-12/+165
*	Typo (thanks, Antoine).	David A. Madore	2016-12-28	1	-1/+1