update

2024-03-13 11:36:31 +01:00
parent 473b24baa0
commit bb9f9102c9
218 changed files with 97170 additions and 1830 deletions
--- a/décidé.md
+++ b/décidé.md
@@ -0,0 +1,13 @@
+up:: [[langages formels|langage formel]], [[machine de turing]]
+sibling:: [[décidabilité]]
+#informatique 
+
+> [!definition] langage décidé
+> Un langage est dit *décidé* si il est [[langage accepté par une machine de Turing|accepté]] par une [[machine de turing]] ET que cette machine n'a aucune exécution infinie.
+> 
+> Cela garantit que :
+>  - tout mot du langage représente une instance d'un [[problème de décision]]
+>  - on peut toujours dire **en un temps fini** si la réponse au problème de décision modélisé est VRAI ou FAUX
+^definition
+
+