Théorie des automates, langages formels, calculabilité — Jean-Marc Steyaert, Dale Miller