Résultats de la recherche
- Pour les articles homonymes, voir Turing. En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques...24 kio (2 582 mots) - 5 juillet 2024 à 10:34
- Pour les articles homonymes, voir Théorie et Automate. En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de...20 kio (2 597 mots) - 5 février 2024 à 16:20
- Cet article concerne les automates finis. Pour une présentation plus formelle, voir Automate fini non déterministe. Pour les autres significations, voir...45 kio (5 160 mots) - 10 mai 2024 à 23:53
- Pour les articles homonymes, voir Analyseur. L'analyse syntaxique consiste à mettre en évidence la structure d'un texte, généralement une phrase écrite...11 kio (1 311 mots) - 5 août 2023 à 17:42
- Pour les articles homonymes, voir MMC. Modèle de Markov caché Un modèle de Markov caché (MMC, terme et définition normalisés par l’ISO/CÉI [ISO/IEC 2382-29:1999])...16 kio (2 542 mots) - 26 juin 2024 à 15:03
- Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est...19 kio (2 824 mots) - 29 octobre 2021 à 23:07
- En informatique théorique, et spécialement en théorie des automates, un automate sur les mots infinis ou ω-automate est un automate fini qui accepte des...10 kio (1 485 mots) - 13 février 2024 à 21:49
- En informatique théorique, plus précisément en théorie des langages, un automate d'arbre est une machine à états qui prend en entrée un arbre, plutôt qu'une...15 kio (2 744 mots) - 11 novembre 2023 à 02:32
- Ne pas confondre avec l’ensemble des nombres rationnels En informatique théorique, plus particulièrement en théorie des automates, un ensemble rationnel...8 kio (1 191 mots) - 19 octobre 2021 à 11:33
- « Tokenisation » redirige ici. Pour le procédé de sécurisation de données, voir Tokenisation (sécurité informatique). En informatique, l’analyse lexicale...21 kio (2 534 mots) - 28 mai 2024 à 12:45
- Pour des articles plus généraux, voir Automate fini, Automate fini non déterministe et Théorie des automates. Pour les articles homonymes, voir AFD. Un...29 kio (4 925 mots) - 15 mai 2024 à 13:19
- En théorie des langages, le lemme de l'étoile ou lemme d'itération[réf. nécessaire] pour les langages rationnels (ou encore lemme de gonflement[réf. nécessaire]...33 kio (6 560 mots) - 29 mars 2024 à 12:11
- Ne doit pas être confondu avec machine virtuelle ou machine à états abstraits. Articles connexes : théorie des automates et automate fini. En informatique...10 kio (1 090 mots) - 2 août 2023 à 10:04
- Cet article ne cite pas suffisamment ses sources (juillet 2012). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites...5 kio (669 mots) - 27 mai 2024 à 12:40
- Ne doit pas être confondu avec Théorème de récursion de Kleene ou Théorème du point fixe de Kleene. En informatique théorique, et plus précisément en théorie...14 kio (1 740 mots) - 13 juillet 2024 à 22:22
- En informatique théorique, un automate de Büchi est un ω-automate ou automate fini opérant sur des mots infinis, avec une condition d'acceptation particulière :...24 kio (3 747 mots) - 5 février 2024 à 00:52
- En informatique théorique, en linguistique, et en particulier en théorie des automates, un transducteur fini (appelé aussi transducteur à états finis par...15 kio (2 161 mots) - 12 juillet 2024 à 14:56
- Cet article concerne les automates finis. Pour une introduction informelle, voir Automate fini. Pour une présentation générale, voir Théorie des automates...47 kio (6 293 mots) - 3 août 2024 à 23:07
- En informatique théorique, et en particulier dans la théorie des automates finis, le monoïde syntaxique d'un langage formel est un monoïde naturellement...12 kio (2 026 mots) - 11 juin 2024 à 21:16
- Cet article est une ébauche concernant l’informatique théorique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...5 kio (690 mots) - 31 octobre 2023 à 21:56