De Turing à Chomsky : langues, langages,machines et monoïdes