Automates finis et langages réguliers, grammaires hors contexte, machines de Turing, calculabilité et indécidabilité, réductions, classes P et NP, NP-complétude et théorème de Cook-Levin.
Recevez un e-mail le jour où il est disponible.