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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	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 ↵	David A. Madore	2017-01-13	1	-4/+76
\| \| \| \| \| \|	at the grammar levels. This is probably very unclear. Needs to be improved.
*	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 ↵	David A. Madore	2017-01-12	1	-13/+114
\| \| \| \|	non-squares).
*	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
\|
*	More minor clarifications / corrections.	David A. Madore	2016-12-13	2	-4/+4
\|
*	Clarifications following students' remarks/questions.	David A. Madore	2016-12-13	1	-3/+5
\|
*	Add a simple exercise.	David A. Madore	2016-12-12	1	-0/+21
\|
*	Typo.	David A. Madore	2016-12-12	1	-1/+1
\|
*	Explain how to produce a regexp that matches the multiples of 7 in base 10.	David A. Madore	2016-12-09	2	-1/+78
\|
*	Exercise on multiples of 7 in base 10.	David A. Madore	2016-12-09	1	-0/+26
\|
*	Exercise on backreferences.	David A. Madore	2016-12-09	2	-11/+82
\|
*	Test various egrep features.	David A. Madore	2016-12-09	2	-0/+69
\|
*	A simple exercise on using egrep.	David A. Madore	2016-12-09	2	-0/+212
\|
*	Clarify decidability of equivalence of automata or regexps.	David A. Madore	2016-12-08	1	-8/+52
\|
*	Mention the name "Kleene's algorithm".	David A. Madore	2016-12-08	1	-1/+3
\|
*	A clarification on elimination of states.	David A. Madore	2016-12-08	1	-24/+33
\|
*	Remark on elimination of spontaneous transitions and automaton transpose.	David A. Madore	2016-12-08	1	-33/+84
\|
*	Slight changes to section titles.	David A. Madore	2016-12-08	1	-5/+5
\|
*	Example(s) of minimization algorithm.	David A. Madore	2016-12-08	5	-0/+215
\|
*	Leading zeros in powers of two.	David A. Madore	2016-12-02	1	-1/+1
\|
*	Remove any ambiguity about whether 0 is a power of two (it is not).	David A. Madore	2016-12-01	1	-1/+1
\|
*	Moore's algorithm (further description).	David A. Madore	2016-12-01	1	-3/+33
\|
*	Various clarifications. Try to explicitate when DFAs need to be complete.	David A. Madore	2016-12-01	1	-52/+72
\|
*	Fix mistake in determinization of automaton.	David A. Madore	2016-12-01	2	-11/+13
\|
*	Moore's algorithm.	David A. Madore	2016-11-30	1	-2/+89
\|
*	The Myhill-Nerode theorem.	David A. Madore	2016-11-30	1	-0/+87
\|
*	Using the pumping lemma.	David A. Madore	2016-11-30	1	-49/+128
\|
*	Typo (thanks, Olivier).	David A. Madore	2016-11-30	1	-1/+1
\|
*	The pumping lemma.	David A. Madore	2016-11-30	1	-1/+64
\|
*	Clarifications.	David A. Madore	2016-11-30	1	-9/+11
\|