Résultats de la recherche
- Pour les articles homonymes, voir régulier et rationnel. En informatique, une expression régulière ou expression rationnelle ou expression normale ou motif...57 kio (5 815 mots) - 28 avril 2024 à 18: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
- En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes :...35 kio (5 523 mots) - 29 avril 2022 à 22:22
- L'étoile de Kleene, parfois appelée fermeture de Kleene ou encore fermeture itérative, est, en théorie des langages, un opérateur unaire utilisé pour décrire...11 kio (1 753 mots) - 16 janvier 2023 à 14:48
- 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
- En informatique théorique, et notamment en théorie des langages formels, un langage rationnel est sans étoile (star-free language en anglais) s'il peut...10 kio (1 257 mots) - 11 juin 2024 à 22:45
- 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, 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
- Pour les articles homonymes, voir Arden. En théorie des automates, le lemme d'Arden est un résultat concernant les langages rationnels. Il décrit les solutions...7 kio (1 382 mots) - 18 février 2024 à 00:01
- En informatique théorique, et notamment en théorie des automates finis, l'algorithme de McNaughton et Yamada est un algorithme pour calculer une expression...11 kio (1 931 mots) - 24 juin 2024 à 23:25
- En informatique théorique plus précisément en théorie des langages, l'algorithme de Thompson est un algorithme qui, étant donné une expression régulière...7 kio (761 mots) - 25 avril 2023 à 11:16
- En informatique quantique et en informatique théorique, un automate fini quantique est une généralisation des automates finis où un mot est accepté selon...27 kio (3 754 mots) - 11 août 2023 à 20:51
- La complexité en états (en anglais « state complexity ») est un thème en informatique théorique qui traite de la taille d'automates abstraits, tels que...41 kio (4 854 mots) - 15 juillet 2024 à 21:43
- Pour l’article homonyme, voir Glouchkov. En informatique théorique et notamment en théorie des automates finis, la construction de Glushkov ou algorithme...13 kio (2 146 mots) - 21 février 2024 à 20:12
- Article principal : Théorie des automates. En mathématiques et en informatique théorique, et notamment en théorie des automates, un automate probabiliste...12 kio (2 079 mots) - 23 décembre 2023 à 21:46
- En informatique théorique, et plus particulièrement en théorie des automates, la minimisation d'un automate fini déterministe est l'opération qui consiste...32 kio (4 497 mots) - 26 juin 2023 à 15:49
- En Informatique théorique, et particulièrement en théorie des automates, un automate fini pondéré est une généralisation des automates finis. Dans un automate...15 kio (2 204 mots) - 29 mai 2024 à 06:55