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
path:
root
/
exercices3.tex
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Fix mistake in elimination of states (thanks, Mathis Chagneux).
David A. Madore
20170205
1
5
/
+7

*
Reread exercises.
David A. Madore
20170130
1
37
/
+48

*
Fiddle with vertical spacing (i.e., struggle against TeX's page breaking ↵
David A. Madore
20170130
1
7
/
+39




algorithm).
*
Another exercise on contextfree grammars.
David A. Madore
20170130
1
0
/
+86

*
Exercise on nonambiguity and analysis of a simple contextfree grammar.
David A. Madore
20170130
1
0
/
+161

*
Remove syntactic ambiguity.
David A. Madore
20170130
1
1
/
+1

*
Clarify statement on busybeaver function.
David A. Madore
20170130
1
5
/
+6

*
An exercise on Kleene's algorithm.
David A. Madore
20170130
1
0
/
+88

*
Fix/clarification in answer to an exercise.
David A. Madore
20170130
1
1
/
+2

*
An exercise on finite automata.
David A. Madore
20170127
1
0
/
+181

*
Another exercise on computability (decidable iff range of an increasing ↵
David A. Madore
20170127
1
0
/
+60




computable function).
*
Another exercice on decidability.
David A. Madore
20170127
1
2
/
+69

*
Busy beaver function.
David A. Madore
20170127
1
0
/
+65

*
Union, intersection, concatenation and star of decidable vs. semidecidable ↵
David A. Madore
20170127
1
0
/
+97




languages.
*
Write a sample exercice on computability.
David A. Madore
20170127
1
0
/
+197