Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- {{Voir homonymes|Réécriture}} ...(ou '''récriture'''<ref>Pour une discussion voir Éric Bordas, « Récriture, Réécriture », in ''Le Dictionnaire du littéraire'' pp. 519-520 et [https://tel.archiv ...20 kio (3 216 mots) - 19 juillet 2024 à 13:32
- ...tème de réécriture]]''' <math>\rightarrow_R</math> porte sur un système de réécriture abstrait et affirme que toute chaîne de réduction de termes de la forme <ma ...fr=Hérédité (logique mathématique)|texte=héréditaire}} pour la relation de réécriture.</ref>. ...8 kio (1 362 mots) - 28 octobre 2024 à 11:29
Correspondances dans le texte des pages
- ...que la confluence, utile pour les [[Réécriture (informatique)|systèmes de réécriture]]. Elle est définie par : [[Catégorie:Réécriture]] ...2 kio (274 mots) - 18 décembre 2019 à 00:59
- ...confluence]] est une propriété d'un système de [[réécriture (informatique)|réécriture]] <math>\rightarrow_R</math> qui est convergent, ...2 kio (232 mots) - 23 juin 2024 à 23:29
- ...ch-Rosser''' est une propriété des systèmes de [[Réécriture (informatique)|réécriture]]. Elle est nommée ainsi d'après les mathématiciens [[Alonzo Church]] et [[ Soit <math>R</math> un système de [[Réécriture (informatique)|réécriture]], et notons <math>\rightarrow_R</math> la relation de réduction, <math>\ri ...3 kio (500 mots) - 19 février 2021 à 21:43
- ...tème de réécriture]]''' <math>\rightarrow_R</math> porte sur un système de réécriture abstrait et affirme que toute chaîne de réduction de termes de la forme <ma ...fr=Hérédité (logique mathématique)|texte=héréditaire}} pour la relation de réécriture.</ref>. ...8 kio (1 362 mots) - 28 octobre 2024 à 11:29
- ...st une formulation plus simple. Les deux formalismes -- système de Post et réécriture -- sont [[Turing-complet]]s. == Systèmes de réécriture et grammaires de type 0 == ...6 kio (1 152 mots) - 28 décembre 2024 à 12:59
- === Comparaison avec les systèmes abstraits de réécriture === ...st un {{Lien|langue=en|texte=système abstrait de réécriture|fr= système de réécriture abstrait|trad=abstract rewriting system}}<ref> ...5 kio (803 mots) - 28 décembre 2024 à 12:58
- ...e (informatique)|système de réécriture]] fini. Selon le type du système de réécriture, la [[théorie de la complexité des algorithmes|complexité algorithmique]] d ...ini de couples de mots <math>(r,r')</math> sur ''A'', appelées ''règles de réécriture'', présentées sous la forme <math>r\to r'</math>. Un tel système est aussi ...12 kio (1 883 mots) - 21 juin 2023 à 23:10
- * le nombre de transformations dans un [[réécriture|système de réécriture]] ; ...3 kio (524 mots) - 17 novembre 2021 à 01:36
- ...uations (ici, en entrée, ce sont les axiomes des groupes) en un système de réécriture confluent et qui termine.]] ...luence (informatique)|confluent]]'' et qui ''[[terminaison d'un système de réécriture|termine]]'' (dit alors ''convergent''). Le processus de complétion a été in ...19 kio (3 239 mots) - 24 août 2023 à 09:58
- {{Voir homonymes|Réécriture}} ...(ou '''récriture'''<ref>Pour une discussion voir Éric Bordas, « Récriture, Réécriture », in ''Le Dictionnaire du littéraire'' pp. 519-520 et [https://tel.archiv ...20 kio (3 216 mots) - 19 juillet 2024 à 13:32
- ...e, un '''système de Thue''', est un [[réécriture (informatique)|système de réécriture]] de [[chaîne de caractères|chaînes de caractères]] ou [[mot (mathématiques ...es <math>s\rightarrow t</math>. La relation est étendue en une relation de réécriture entre tous les mots dans lesquels les parties gauche et droite d'une règle ...12 kio (1 852 mots) - 28 décembre 2024 à 12:58
- === Réécriture de la formule des caractères === En utilisant la réécriture précédente de la formule des caractères, il est relativement facile d'écrir ...8 kio (1 258 mots) - 4 mars 2025 à 02:49
- ...lon. Enfin, il doit être montré que le processus normalise le processus de réécriture, de sorte que les théorèmes réécrits satisfont les axiomes de la théorie<re ...5 kio (817 mots) - 15 septembre 2023 à 07:55
- == Réécriture du critère de Lawson == ...7 kio (1 194 mots) - 28 décembre 2022 à 13:09
- [[Catégorie:Réécriture]] ...2 kio (382 mots) - 18 novembre 2024 à 19:55
- ...es négations. Ce processus peut être représenté en utilisant les règles de réécriture suivantes (''Handbook of Automated Reasoning 1'', p. 204.): ...3 kio (485 mots) - 5 août 2022 à 14:02
- La réduction de Dyck est un [[Réécriture (informatique)#Confluence|système de réécriture confluent]]. ...un mot qui se réduit au mot vide <math>\varepsilon</math>. La relation de réécriture définie ci-dessus est confluente, et tout mot se réduit en un mot irréducti ...10 kio (1 747 mots) - 6 août 2022 à 23:23
- ...röbner est de faire appel au vocabulaire de la [[Réécriture (informatique)|réécriture]]. C'est l'approche que nous allons adopter ; cependant, l'essentiel des dé ...|1}}, …, ''X{{ind|n}}'']. Introduisons une [[règles de réécriture|règle de réécriture]] sur ''K''[''X''{{ind|1}}, …, ''X{{ind|n}}''] en posant ...11 kio (1 836 mots) - 11 mars 2025 à 11:52
- ...]], un '''L-système''' ou '''système de Lindenmayer''' est un [[système de réécriture]] ou [[grammaire formelle]], inventé en 1968 par le [[biologiste]] [[hongro ...emplaçant des parties d'un objet initial simple en utilisant des règles de réécriture. ...17 kio (2 870 mots) - 3 novembre 2024 à 09:50
- ...selle]], et du [[calcul formel]], des [[système de réécriture|systèmes de réécriture]] et de l'[[Unification (logique)|unification]]. C'est l'objet produit par [[Catégorie:Réécriture]] ...10 kio (1 594 mots) - 15 janvier 2025 à 08:09