Travaux de rédaction 2007/2008

• Équivalence entre logique monadique du second ordre et automates (Marc Bagnol)
• Automates à pile déterministes (Mathieu Barbin)
• Motifs inévitables (Adrien Boiret)
• Simulation d'une MT à k bandes en O(T(n)) par une MT à deux bandes en O(T(n)log T(n)) (Mehdi Bouaziz)
• Algorithmes de Markov (Yuanmi Chen)
• Séries N et Z-rationnelles (Sary Drapeau)
• Théorème de Cobham (Bruno Le Floch)
• Automates sur les mots transfinis (Xun Gong)
• Automates sur les mots infinis (Arthur Leclaire)
• Théorème de Cardinalité (Michaël Monerau)
• Complexité de Kolmogorov (Aurel Page)
• Automates probabilistes (Furcy Pin)
• λ-calcul (Ocan Sankur)
• Pavages et indécidabilité (Matthieu Solnon)