informatique-theorique

Fonction inverse d'Ackermann

informatique-theorique

La fonction inverse d'Ackermann est une fonction ayant une croissance extrêmement faible. Alpha(n) …

Complexité : Instance

informatique-theorique complexite

Cet article traite des instances dans le cadre de la théorie de la complexité.

Fonction d'Ackermann - Ocaml

OCaml Ackermann informatique-theorique

La fonction d'Ackermann est une fonction récursive terminale. Le langage de programmation OCaml se …

Déterminisation d'un automate

informatique-theorique automate

Cet article présente une méthode afin de convertir un automate fini non déterministe quelconque …

Différents types d'automates finis

informatique-theorique automate graph-theory

Cet article présente un ensemble de propriétés concernant les automates finis. Pour mieux comprendre …

Définition : NFF-Sat

informatique-theorique complexite

Un problème de satisfaction de contraintes booléennes, aussi appelé problème de satisfiabilité, …