eduroam-prg-hf-1-7-38.net.univ-paris-diderot.fr 2025-10-8:16:19:19

automate fini déterministe.md

@@ -7,7 +7,7 @@ up:: [[automate fini]], [[automate déterministe]]
 > $$A = (Q, \Sigma, \delta, q_0, F)$$
 >
 > - Un ensemble fini d'états $Q = \{ q_0, q_1, q_2, \dots \}$
-> - Un ensemble fini de symboles (un [[langage formel alphabet|alphabet]]) $\Sigma$
+> - Un ensemble fini de symboles (un [[langage formel . alphabet|alphabet]]) $\Sigma$
 > - Une fonction de transition qui prend en paramètre un état et un symbole, et qui renvoie un état $\delta \in Q^{Q\times\Sigma}$
 > - Un état initial $q_0 \in Q$
 > - Un ensemble d'états finaux $F \subset Q$

expressivité théorique.md

@@ -6,7 +6,7 @@ sibling:: [[expressivité pratique]]
 > l'expressivité théorique (ou pouvoir d'expression théorique) est la capacité d'un [[langage de programmation]] à exprimer des idées, indépendemment de la façilité d'exprimer ces idées.
 > Notamment, beaucoup de lagages de programmation sont [[turing complétude|turing-complets]], et ont donc le même pouvoir d'expression.
 > C'est la taille de l'ensemble des idées représentables par un langage.
-> Cette définition est utilisée en mathématiques ou en informatique théorique (notamment dans la théorie des [[langages formels]], la [[logique]]...)
+> Cette définition est utilisée en mathématiques ou en informatique théorique (notamment dans la théorie des [[langage formel]], la [[logique]]...)
 ^definition
 
 > [!cite]+ [Expressive power (computer science)](zotero://select/groups/5383243/items/L9WYV33P) - [Page ](zotero://open-pdf/groups/5383243/items/Q9KCGU98?annotation=8W7EHIJN)

grammaire.md

@@ -1,4 +1,4 @@
-up:: [[langages formels|langage formel]]
+up:: [[langage formel|langage formel]]
 
 > [!smallquery]+ Sous-notes de `$= dv.el("span", "[[" + dv.current().file.name + "]]")`
 > ```breadcrumbs

langage accepté par une machine de Turing.md

@@ -1,8 +1,8 @@
-up:: [[machine de turing]], [[langages formels|langage formel]]
+up:: [[machine de turing]], [[langage formel|langage formel]]
 #s/informatique 
 
 > [!definition] langage accepté par une machine de Turing
-> Un [[langages formels|langage]] est accepté par une [[machine de turing]] $M$ si pour tout mot de ce langage, l'exécution de $M$ conduit à un état acceptateur.
+> Un [[langage formel|langage]] est accepté par une [[machine de turing]] $M$ si pour tout mot de ce langage, l'exécution de $M$ conduit à un état acceptateur.
 > 
 > On ne sait pas ce qui se passe pour les mots qui n'appartiennent pas au langage.
 ^definition

langage contextuel.md

@@ -2,4 +2,4 @@
 aliases:
   - langages contextuels
 ---
-up:: [[langages formels|langage formel]]
+up:: [[langage formel|langage formel]]

langage décidable en temps déterministe.md

@@ -0,0 +1,13 @@
+---
+up:
+  - "[[langage formel|langage formel]]"
+tags:
+  - s/informatique/algorithmie
+aliases:
+---
+
+> [!definition] Décidable en temps déterministe $f$
+> Soit $f : \mathbb{N} \to \mathbb{N}$ soit $\Sigma$ un [[langage formel . alphabet|alphabet]]
+> un langage $L \subseteq \Sigma^{*}$
+> On dit que $L$ est **décidable en temps déterministe $f$** et on note $L \subseteq \operatorname{DTIME}(f)$
+> s'il existe une machine de Turing déterministe $M$ qui [[langage décidé par une machine de turing||décide]] $L$ en temps $O(f)$

langage décidé par une machine de turing.md

@@ -0,0 +1,14 @@
+---
+up:
+  - "[[machine de turing]]"
+tags:
+  - s/informatique/algorithmie
+aliases:
+---
+
+> [!definition] Définition
+> Soit $\Sigma$ un alphabet
+> Un langage $L \subseteq \Sigma^{*}$ est **décidé** par une [[machine de turing]] $M$ si :
+> $\forall x \in L,\quad M \text{ accepte } x$
+> $\forall x \in \Sigma^{*} \setminus L,\quad M \text{ rejette } x$
+^definition

langage décidé.md

@@ -1,4 +1,4 @@
-up:: [[langages formels|langage formel]], [[machine de turing]]
+up:: [[langage formel|langage formel]], [[machine de turing]]
 sibling:: [[décidabilité]]
 #s/informatique 
 

langage formel . alphabet.md

@@ -2,7 +2,7 @@
 aliases:
   - alphabet
 ---
-up:: [[langages formels|langage formel]]
+up:: [[langage formel|langage formel]]
 #s/informatique 
 
 > [!definition] Alphabet

langage formel mot.md

@@ -1,6 +1,6 @@
 ---
 up:
-  - "[[langages formels|langage formel]]"
+  - "[[langage formel|langage formel]]"
 tags:
   - s/science/linguistique
   - s/informatique

vocabulaire.md

@@ -1,5 +1,5 @@
 #s/maths/logique
 
 ----
-Dans le cadre des [[langages formels]], on appelle _vocabulaire_ tout ensemble **fini** de symboles.
+Dans le cadre des [[langage formel]], on appelle _vocabulaire_ tout ensemble **fini** de symboles.