 Commit message (Expand)  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 algo...  David A. Madore  20170130  1  7/+39 


*  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 compu...  David A. Madore  20170127  1  0/+60 


*  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 l...  David A. Madore  20170127  1  0/+97 


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

