Résultats de la recherche

En [[théorie des automates]], l''''automate transposé''' d'un [[automate fini]] <math>\mathcal{A}</mat ...> où <math>I</math> et <math>T</math> sont les états initiaux et terminaux et où <math>\mathcal{F}</math> est l'ensemble des transitions. ...

...ition d'états est constitué d'un ensemble d'[[État (informatique)|états]] et d'un ensemble de transitions d'un état à un autre, qui peuvent être étiquet ...<math>(S, \rightarrow)</math>, où <math>S</math> est l'ensemble des états et <math>\rightarrow \subseteq S \times S</math> est la relation de transitio ...

En [[informatique théorique]], et spécialement en [[théorie des automates]], un '''automate sur les mots infinis''' ou ...t de la possibilité de lire le mot) dans le cas des automates sur les mots finis. ...

...tiques)|opérations ensemblistes]] d'union, intersection, de complémentaire et de [[concaténation]]s, mais sans utiliser l'opération [[Étoile de Kleene|ét ...s langages sans étoiles est<ref name="Carton" /> la plus petite famille de langages formels : ...

...sur des [[mot (mathématiques)|mots]]. Le concept a déjà été défini par Aho et Ullman en 1971<ref>{{harvsp||Aho|Ullman|1971}}.</ref>. ...mates, et reconnaissent les [[Automate d'arbres#Reconnaissabilité|langages réguliers d'arbres]]. ...

En [[informatique théorique]] plus précisément en [[théorie des langages]], l''''algorithme de Thompson''' est un [[algorithme]] qui, étant donné un ..., tout comme la [[construction de Glushkov]]. L'[[algorithme de McNaughton et Yamada]] permet d'aller dans l'autre sens. ...

{{article principal|Théorie des automates}} ...nombre de langages stochastiques est non dénombrable (alors que celui des langages rationnels est dénombrables). ...

...porte le nom de ses inventeurs, [[Janusz A. Brzozowski|J. A. Brzozowski]] et [[Edward J. McCluskey |E. J. McCluskey]], qui l'ont présenté en 1963. L'alg * il possède un seul état initial α et un seul état final ω ; ...

...tomate fini alternant''' est une extension des [[Automate fini|automates finis]]. Dans un [[automate fini non déterministe]] usuel, un mot <math>w</math> ...u bien tous sont finaux. Les choix varient donc entre un choix existentiel et un choix universel. ...

...l'''<ref name=Law130>{{harvsp|Lawson|2004|p=130}}.</ref>. Ces automates et langages interviennent notamment dans la [[construction de Glushkov]]. Un langage lo ...' et une partie ''F'' de ''A × A'' telles que ''w'' est un mot de ''L'' si et seulement si<ref name="Law129">{{harvsp|Lawson|2004|p=129}}.</ref> : ...

...un automate fini fondé sur une double [[automate transposé|transposition]] et une double [[construction par sous-ensembles|déterminisation]]. ...nsi à deux opérations conceptuellement très différentes : la transposition et la déterminisation. ...

...tique théorique]], en [[linguistique]], et en particulier en [[théorie des automates]], ...lles que notamment l'[[analyse syntaxique]] des langages de programmation, et l'[[Morphologie (linguistique)|analyse morphologique]] ou l'[[Phonologie|an ...

En [[informatique théorique]], l'objectif de la <dfn>théorie des automates</dfn> est de proposer des modèles de mécanismes mathématiques qui formalise * Les [[automate fini|automates finis]], et leurs variantes, qui sont utilisés dans l'analyse des langues naturelles, l ...

...our les automates plus conventionnels, comme les [[Automate fini|automates finis]]. ...rministes ascendants. En effet, les propriétés d'arbres spécifiées par les automates déterministes descendants ne peuvent dépendre que des propriétés de chemins ...

...le '''lemme d'Arden''' est un résultat concernant les [[Langage rationnel|langages rationnels]]. où <math>A</math> et <math>B</math> sont deux langages formels et <math>X</math> est une inconnue. Le lemme d'Arden s'utilise notamment dans ...

...e une [[machine de Turing]] qui ne peut pas écrire sur sa bande de données et qui ne dispose pas de mémoire auxiliaire. == Langages reconnus == ...

...omate fini pondéré''' est une généralisation des [[automate fini|automates finis]]. Dans un automate fini usuel, qu'il soit [[automate fini déterministe | d Soient <math>K</math> un [[demi-anneau]], et soit <math>\Sigma</math> un [[alphabet]]. ...

...] fondamental de la [[Langage formel|théorie des langages formels]] et des automates. ...ichael Rabin|Rabin]] et [[Dana S. Scott|Scott]] en 1959<ref>{{harvsp|Rabin et Scott (1959)|réf=RabinScott1959}}</ref>. ...

En [[informatique théorique]], et notamment en [[théorie des automates]], un '''automate séquentiel''' est un [[automate fini déterministe]] avec ...[[Transduction rationnelle|transductions rationnelles]] réalisées par les automates séquentiels sont des fonctions (partielles) appelées '''fonctions séquentie ...

{{article général|Lemme d'itération pour les langages algébriques}} ...les facteurs itérés. Le lemme a été établi en 1982 par Christopher Bader et Arnaldo Moura<ref name="BM">{{harvsp|Bader|Moura|1982}}.</ref>. Le lemme n' ...