Forum de Mathématiques: Maths-Forum

J'ai peut être oublié de dire que je parle d'un point de vue strictement mathématique ! :briques:

Oui tu as raison ...

Dans ce cas, je peux dire que comme le langage ne contient qu'une chaine finie => reconnu par un automate => Décidable

et que Soit dieux existe, soit il n'existe pas donc dans tous les cas décidables ? :id:

Bonjour à tous ! Je vous fais part de deux problèmes que j'ai résolu, mais j'aimerais avoir des confirmations que ce que j'ai fais est bon, je m'excuse auparavant si certains termes ne sont pas bien choisis mais j'étudie aux Etats Unis et je n'ai pas trouvé toutes les traductions françaises : Consid...