Documents Autebert, Jean-Michel 3 résultats

langage algébrique # théorie des langages # transduction rationnelles

informatique des langages # informatique théorique # langage algébrique

calculabilité # classe de complexité # complexité d'espace # complexité de temps # décidabilité # langage récursif # langage récursivement énumérable # modèle de machine de Turing # modème de machine RAM # problème NP- complet # problème insalubre # réduction algorithmique d'un problème à un autre # réduction polynomiale # thèse de Church