Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- ...[automate fini|automates finis non déterministes]]; chaque transition de l'automate est équipée d'une probabilité (un [[nombre réel]] entre 0 et 1). Les transi ...considère les automates probabilistes.</ref>. Une extension conduit aux [[automate quantique|automates quantiques]]. ...12 kio (1 964 mots) - 3 septembre 2024 à 10:43
- ...t les transitions et imposent ainsi des contraintes aux comportements de l'automate. Les horloges peuvent être réinitialisées. Les automates temporisés ont été Un automate temporisé accepte des mots temporisés — des suites infinies où une valeur r ...11 kio (1 744 mots) - 6 février 2023 à 15:23
- ...mates finis|une présentation plus formelle|Automate fini non déterministe||Automate}} ...événement ou une condition ; ce passage est appelé une « transition ». Un automate particulier est défini par l'ensemble de ses états et l'ensemble de ses tra ...45 kio (6 826 mots) - 17 mars 2025 à 18:08
- ...]] <math>\mathcal{A}</math>, noté <math>\mathcal{A}^R</math>, est un autre automate fini, qui reconnaît les miroirs des mots reconnus par <math>\mathcal{A}</ma On parle aussi d''''automate miroir'''. Une autre notation est <math>\mathcal{A}^t</math>. ...3 kio (387 mots) - 10 décembre 2019 à 11:16
- Un '''automate cellulaire''' consiste en une grille [[Polytope régulier|régulière]] de « c L'automate cellulaire non [[Trivial (mathématiques)|trivial]] le plus simple que l'on ...54 kio (8 324 mots) - 17 mars 2025 à 15:06
- ...théorique]], un '''automate fini quantique''' est une généralisation des [[automate fini|automates finis]] où un mot est accepté selon le résultat d'une certai Les automates finis quantiques sont similaires aux [[automate probabiliste|automates probabilistes]], mais la classe des langages reconnu ...27 kio (4 420 mots) - 16 mars 2025 à 16:40
- ...ent des étiquettes qui sont des lettres de l’alphabet sous-jacent. Dans un automate pondéré, toute transition porte de plus un certain poids. Ce poids peut êtr Un '''automate pondéré''' avec poids dans <math>K</math> est composé des objets suivants ...15 kio (2 293 mots) - 29 mai 2024 à 05:55
- ...''' (en anglais '''tree walking automaton''' (TWA)) est une variante des [[Automate fini|automates finis]] qui opère sur des [[arbre enraciné |arbres]] plutôt ...descendants) sont une autre catégorie d'automates, et reconnaissent les [[Automate d'arbres#Reconnaissabilité|langages réguliers d'arbres]]. ...7 kio (1 043 mots) - 26 février 2025 à 19:41
- ...]] avec sorties. C'est un cas particulier d'un [[transducteur fini]], où l'automate des entrées est déterministe. ...sque de plus les sorties sont des lettres, un automate séquentiel est un [[automate de Mealy]]. Les [[Transduction rationnelle|transductions rationnelles]] réa ...16 kio (2 551 mots) - 28 décembre 2024 à 13:01
- ...accepté si, parmi les états atteints, il y a au moins un état final. Dans automate fini alternant, c'est la valeur d'une [[fonction booléenne]] sur les états .../math>. Une notion duale est celle d’''automate universel''. Comme pour un automate non déterministe, la relation de transition donne, pour un état <math>q</ma ...15 kio (2 479 mots) - 30 octobre 2023 à 13:42
- ...r en vaisseau en arrivant à détruire ses débris comme pour l'[[écologiste (automate cellulaire)|écologiste]]. ...-123</ref>. Bien que cette notion s'applique ''a priori'' à n'importe quel automate cellulaire, elle a été surtout étudiée dans le Jeu de la vie, qui en a sans ...10 kio (1 561 mots) - 7 septembre 2024 à 13:29
- ...chaîne de caractères]] pour les automates plus conventionnels, comme les [[Automate fini|automates finis]]. === Automate d'arbres ascendant === ...15 kio (2 507 mots) - 27 février 2025 à 11:18
- Un <dfn>automate à pile</dfn> est une [[machine abstraite]] utilisée en [[informatique théor ...la pile ; il peut aussi modifier le contenu de la pile. Selon l'état de l'automate et de la pile à la fin du calcul, le mot est accepté ou refusé. ...19 kio (3 016 mots) - 13 mars 2025 à 14:46
- ...s, introduits par Engelfriet et Hoogeboom, sont censés pallier un défaut d'automate cheminant, qui « se perd facilement dans un arbre » ({{Citation étrangère|l ...on déposé celui de plus petit numéro disponible. Sans ces restrictions, l'automate perd un certain nombre de ses propriétés qui deviennent indécidables, et le ...9 kio (1 266 mots) - 23 mai 2023 à 23:53
- ...les automates à pile opèrent en mode ''[[last in, first out]]'' (LIFO), un automate à file travaille en mode ''[[first in, first out]]'' (FIFO). Un ''automate à file'' <math>M = (Q, \Sigma, \Gamma, \$, s, \delta)</math> est composé de ...7 kio (1 123 mots) - 7 février 2025 à 22:05
- {{Article général|Automate fini|Automate fini non déterministe|Théorie des automates}} ...unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un [[automate fini non déterministe]], où au contraire plusieurs possibilités de transiti ...29 kio (4 940 mots) - 24 janvier 2025 à 19:36
- [[File:Un automate de Parikh.jpg|thumb|upright=1.5|Un automate de Parikh.]] ...tamment en [[théorie des automates]], un '''automate de Parikh''' est un [[automate fini]] non déterministe dont les transitions comportent des vecteurs d’enti ...13 kio (2 096 mots) - 26 février 2023 à 07:37
- [[File:Automate de Buchi.jpg|thumb|Automate de Büchi non déterministe reconnaissant les mots infinis contenant un nombr ...mot infini est accepté s'il est l'étiquette d'un calcul réussi. Ce type d'automate est utilisé en [[vérification de modèles]]. ...24 kio (4 123 mots) - 25 octobre 2024 à 11:15
- ...econnaissant les mots qui ont un ''a'' en position ''n'' depuis la fin. Un automate déterministe équivalent a au moins <math>2^n</math> états]] ...qui, pour chaque mot accepté, ne possède qu'un seul calcul réussi. Tout [[automate fini déterministe]] est inambigu, mais la réciproque est fausse. Les trois ...21 kio (3 401 mots) - 20 février 2025 à 05:16
- ...wn-overview.svg|thumb|right|Un automate à piles emboîtées opère comme un [[automate à pile]], mais il peut de plus, empiler et dépiler des piles.]] En [[théorie des automates]], un '''automate à piles emboîtées''' est un [[automate fini]] qui utilise comme mémoire auxiliaire une [[pile (informatique)|pile] ...8 kio (1 195 mots) - 11 mars 2025 à 14:44
Correspondances dans le texte des pages
- ...]] <math>\mathcal{A}</math>, noté <math>\mathcal{A}^R</math>, est un autre automate fini, qui reconnaît les miroirs des mots reconnus par <math>\mathcal{A}</ma On parle aussi d''''automate miroir'''. Une autre notation est <math>\mathcal{A}^t</math>. ...3 kio (387 mots) - 10 décembre 2019 à 11:16
- ...ste permettant de définir l'[[Minimisation d'un automate fini déterministe|automate minimal]] reconnaissant le même langage. Elle est nommée ainsi en l'honneur ...math>A</math> un [[alphabet]] et <math>\mathcal{A} = (Q, i, T)</math> un [[automate fini]] déterministe sur cet alphabet, où <math>Q</math> est l'ensemble des ...3 kio (523 mots) - 23 février 2025 à 19:09
- ...e d'entrée. De telles transitions sont définies pour de nombreux modèles d'automate, et des algorithmes d'élimination existent ou pas selon les modèles. * [[automate fini]] ...5 kio (759 mots) - 21 juillet 2023 à 09:07
- ...u]] du [[jeu de la vie]], la plus grande structure jamais créée dans cet [[automate cellulaire]]. * [[Automate cellulaire]] ...2 kio (305 mots) - 17 novembre 2019 à 14:48
- ...re|expression rationnelle]] à partir d'un [[automate fini non déterministe|automate fini]]. L'algorithme porte le nom de ses inventeurs, [[Janusz A. Brzozowski ...étiqueté par une expression rationnelle dénotant le langage reconnu par l'automate. ...6 kio (901 mots) - 24 décembre 2022 à 00:47
- ...un [[algorithme]] qui, étant donné une [[expression régulière]], crée un [[automate fini]] qui reconnaît le langage décrit par cette expression. Il est nommé a ...'un à l'autre. L'algorithme de Thompson permet d'aller de l'expression à l'automate, tout comme la [[construction de Glushkov]]. L'[[algorithme de McNaughton e ...7 kio (1 096 mots) - 23 décembre 2024 à 17:10
- ...ilité que les [[expression rationnelle|expressions rationnelles]] et les [[Automate fini|automates finis]] pour décrire un langage régulier. ...déterministe et vice versa. Les non-terminaux correspondent aux états de l'automate. ...4 kio (623 mots) - 20 juin 2024 à 13:05
- ...''' (en anglais '''tree walking automaton''' (TWA)) est une variante des [[Automate fini|automates finis]] qui opère sur des [[arbre enraciné |arbres]] plutôt ...descendants) sont une autre catégorie d'automates, et reconnaissent les [[Automate d'arbres#Reconnaissabilité|langages réguliers d'arbres]]. ...7 kio (1 043 mots) - 26 février 2025 à 19:41
- {{Article principal|Minimisation d'un automate fini déterministe}} ...st un algorithme de minimisation d'un automate fini fondé sur une double [[automate transposé|transposition]] et une double [[construction par sous-ensembles|d ...9 kio (1 469 mots) - 5 octobre 2024 à 16:37
- ...Cluskey]], des méthodes visant à donner une expression rationnelle pour un automate fini donné. ...matrice contenant les transitions de l’automate. Le langage reconnu par l'automate est une union des coefficients de l'[[étoile de Kleene]] de la matrice. La ...6 kio (1 068 mots) - 20 décembre 2022 à 10:03
- ...ormatique théorique]], et spécialement en [[théorie des automates]], un '''automate sur les mots infinis''' ou ...t un [[automate fini]] qui accepte des [[mot infini|mots infinis]]. Un tel automate lit un mot infini, ainsi, l'exécution ne s'arrête pas ; les conditions d'ac ...10 kio (1 648 mots) - 13 février 2024 à 20:49
- * [[Automate transposé]], la notion analogue pour les [[automate fini|automates finis]]. ...2 kio (294 mots) - 18 novembre 2024 à 19:25
- Dans un [[automate cellulaire]], le '''voisinage de Moore''' d'une cellule est constitué de la [[Catégorie:Automate cellulaire]] ...2 kio (262 mots) - 11 août 2024 à 07:04
- ...us petit [[Vaisseau (automate cellulaire)|vaisseau]] qui existe dans cet [[automate cellulaire]]. ...ut d'ailleurs découvert en 1970 par [[John Conway]], le créateur même de l'automate cellulaire, et mentionné dans les articles originels. ...4 kio (615 mots) - 14 septembre 2019 à 16:07
- ...(proposée par [[Edward F. Moore]]) est un [[transducteur fini]] (i.e. un [[automate fini]] avec une sortie) pour lequel les sorties ne dépendent que de l'état La ''fonction réalisée'' par l’automate de Moore est l'application <math>f: A^*\to B^*</math> définie par: ...6 kio (1 062 mots) - 9 novembre 2019 à 21:50
- * de <math>S \times \Lambda</math> dans <math>S</math> (cas des [[Automate fini|automates finis]]) ; === Automate fini === ...5 kio (803 mots) - 28 décembre 2024 à 12:58
- ...age formel soit un langage rationnel, c'est-à-dire reconnaissable par un [[automate fini]]. Ce théorème porte les noms de [[John Myhill]] et [[Anil Nerode]] q ...a preuve est par contre constructive, et permet d'obtenir effectivement un automate qui s'avère de plus être minimal. ...9 kio (1 494 mots) - 22 mai 2023 à 15:16
- ...wn-overview.svg|thumb|right|Un automate à piles emboîtées opère comme un [[automate à pile]], mais il peut de plus, empiler et dépiler des piles.]] En [[théorie des automates]], un '''automate à piles emboîtées''' est un [[automate fini]] qui utilise comme mémoire auxiliaire une [[pile (informatique)|pile] ...8 kio (1 195 mots) - 11 mars 2025 à 14:44
- ...les automates à pile opèrent en mode ''[[last in, first out]]'' (LIFO), un automate à file travaille en mode ''[[first in, first out]]'' (FIFO). Un ''automate à file'' <math>M = (Q, \Sigma, \Gamma, \$, s, \delta)</math> est composé de ...7 kio (1 123 mots) - 7 février 2025 à 22:05
- ...s, introduits par Engelfriet et Hoogeboom, sont censés pallier un défaut d'automate cheminant, qui « se perd facilement dans un arbre » ({{Citation étrangère|l ...on déposé celui de plus petit numéro disponible. Sans ces restrictions, l'automate perd un certain nombre de ses propriétés qui deviennent indécidables, et le ...9 kio (1 266 mots) - 23 mai 2023 à 23:53