index
:
teach/inf105.git
master
THL (théorie des langages)
git repository hosting
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Add footnote on grammar of regexps themselves.
David A. Madore
20171108
1
2
/
+9

*
Change notations L_r and L_A to L(r) and L(A).
David A. Madore
20171108
1
52
/
+53

*
Corrections suggested by Jacques.
David A. Madore
20171107
1
8
/
+8

*
Expand discussion about practical parsing of CFGs (LL and LR approaches).
David A. Madore
20171107
1
45
/
+97

*
Reread description of CYK algorithm.
David A. Madore
20171106
1
14
/
+15

*
A brief description of the CYK dynamic programming algorithm for CFGs.
David A. Madore
20171106
1
8
/
+107

*
Small changes in wording of curriculum.
David A. Madore
20171105
1
8
/
+11

*
Reread and rework introduction to computability.
David A. Madore
20171103
1
125
/
+184

*
Reread section on formal grammars. Rewrite proof that algebraic languages ↵
David A. Madore
20171103
1
51
/
+131




are decidable.
*
More clarifications.
David A. Madore
20171102
1
13
/
+20

*
Various clarifications on contextfree grammars.
David A. Madore
20171102
1
97
/
+146

*
Typographic logic.
David A. Madore
20171102
1
6
/
+6

*
Clarify what \footnotesize means.
David A. Madore
20171102
1
0
/
+5

*
Minor clarifications on formal grammars.
David A. Madore
20171101
1
3
/
+11

*
Some remarks on degenerate cases.
David A. Madore
20171101
1
2
/
+27

*
Primary terminology is "minimal" automaton, not "canonical".
David A. Madore
20171101
1
5
/
+5

*
Change acronym for incomplete automata to "DFAi" with lowercase i.
David A. Madore
20171101
1
36
/
+36




Is this really a good idea? Maybe not.
*
Rework various comments (especially on regular expressions).
David A. Madore
20171101
1
68
/
+107

*
Add another example of state elimination (limiteddepth balanced parentheses).
David A. Madore
20171101
2
0
/
+81

*
An intuitive explanation of the pumping lemma's uses.
David A. Madore
20171101
1
0
/
+12

*
Reread sections on recognizable languages: various updates, clarifications, ↵
David A. Madore
20171031
1
49
/
+86




fixes.
*
Add general intro blurb.
David A. Madore
20171031
1
7
/
+64

*
Reread sections on automata: various updates, clarifications, fixes.
David A. Madore
20171030
1
118
/
+151

*
Compatibility with older TeXlive.
David A. Madore
20171030
1
0
/
+1

*
Introduction and clarifications on contextfree grammars.
David A. Madore
20171030
1
17
/
+82

*
Illustration for the pumping lemma.
David A. Madore
20171030
1
0
/
+35

*
Remark on various equivalences of rational expressions.
David A. Madore
20171029
1
10
/
+55

*
Clarifications on how to decide equivalence of automata.
David A. Madore
20171029
1
1
/
+23

*
Clarifications on the state elimination algorithm.
David A. Madore
20171029
1
19
/
+52

*
Avoid widowing section titles.
David A. Madore
20171029
1
1
/
+1

*
Clarifications on why various kinds of automata are introduced, and on ↵
David A. Madore
20171029
1
35
/
+106




Glushkov's construction.
*
Describe the Thompson automaton of a regular expression.
David A. Madore
20171029
3
8
/
+293

*
More additions to index.
David A. Madore
20171029
1
3
/
+3

*
Clarify course curriculum.
David A. Madore
20171029
1
5
/
+11

*
More additions to index.
David A. Madore
20171029
1
3
/
+3

*
Minor additions to titles and index.
David A. Madore
20171028
1
5
/
+6

*
Use more space on page (reduce margins) by using geometry package.
David A. Madore
20171028
1
0
/
+1

*
Add example illustrating Glushkov's construction.
David A. Madore
20171028
5
1
/
+159

*
More remarks on Glushkov automata.
David A. Madore
20171027
1
3
/
+20

*
Glushkov automata: define properly.
David A. Madore
20171027
1
11
/
+52

*
Rewrite stability of recognizable languages using Glushkov's construction.
David A. Madore
20171027
1
81
/
+322

*
Clarification of how automata with spontaneous transitions work.
David A. Madore
20171027
1
45
/
+22

*
Clarifications/additions on incomplete and nondeterministic automata.
David A. Madore
20171026
1
59
/
+124

*
Informal discussion of automata.
David A. Madore
20171026
1
39
/
+105

*
Section on rational languages: add informal introduction, some clarifications.
David A. Madore
20171026
1
69
/
+154

*
Add an index.
David A. Madore
20171026
1
310
/
+389

*
Various clarifications and updates to the sections on words and languages.
David A. Madore
20171026
1
33
/
+97

*
Various clarifications, corrections, todos...
David A. Madore
20171019
1
52
/
+83

*
Comments on exam. [Forgotten commit, changes made on 20170528.]
David A. Madore
20171019
1
3
/
+71

*
Spello.
David A. Madore
20170528
1
1
/
+1

[next]