Résultats de la recherche

...ges]], le '''centraliseur''' d'un langage <math>L</math> est le plus grand langage <math>X</math> solution de l'équation <math>X \cdot L = L \cdot X</math>, o En 1971, [[John Horton Conway|Conway]] conjectura que les centraliseurs de [[Langage rationnel|langages réguliers]] étaient également réguliers. ...

Une '''machine de Turing non déterministe''' est similaire à une ''[[machine de Turing]]'' habituelle, qui, elle, est ''déterministe'', mais s'en différ ...ne de Turing]] déterministe dispose d'au plus une transition possible, une machine de Turing non déterministe peut en avoir plusieurs. ...

[[Fichier:Machine turing oracle.svg|vignette|upright=2|Une machine de Turing avec oracle peut faire appel à une boîte noire (oracle).]] ...ilité]], les '''machines de Turing avec oracle''' sont une variante des [[Machine de Turing|machines de Turing]] disposant d'une boîte noire, un oracle, capa ...

Un '''encodage sémantique''' est une traduction entre deux [[langage formel|langages formels]]. ...un document depuis un format de données vers un autre. La compilation d'un langage de mise en forme tel que [[TeX]], [[LaTeX]] ou [[Text Encoding Initiative|T ...

.... C'est une classe de [[problème de décision|problèmes de décision]] sur [[machine de Turing probabiliste]]. L'acronyme ZPP vient de ''Zero-Error Probabilisti ...équivalente des [[langage formel|langages]], pour lesquels il existe une [[machine de Turing probabiliste]] telle que : ...

...ème de décision|problèmes de décision]] qui peuvent être décidés par une [[machine de Turing]] non déterministe en temps exponentiel avec un exposant linéaire ...in\N</math>, de sorte que tout mot <math>w\in L</math> est accepté, par la machine <math>M_L</math>, en au plus <math>t_L(|w|)</math> pas de calcul. ...

...langage doit être interprété en termes de suite d'états successifs dans la machine. ...programme considéré. Une telle définition autorise une analyse formelle du langage, permettant l'étude de [[Relation binaire|relations]] entre les programmes. ...

===Complémentaire d'un langage=== Soit <math>L</math> un langage sur l'alphabet <math>\Sigma</math>, et <math>\Sigma^*</math>, l'ensemble de ...

...de complexité]] caractérisées par leur [[complexité en espace]] sur une [[machine de Turing]] déterministe. ...ui, pour une entrée de taille <math>n</math>, peuvent être décidés par une machine de Turing déterministe fonctionnant en espace <math>\mathcal{O}(f(n))</math ...

...ro est plutôt appelé « constante ».</ref>, un ou plusieurs opérandes. En [[langage de programmation]], l'arité de l'[[opérateur (informatique)|opérateur]] peu Plus spécifiquement en [[langage d'assemblage]], un opérande est une valeur sur laquelle une ...

...asse]] de [[problème de décision|problèmes de décision]] décidés par une [[machine de Turing probabiliste]] en temps [[Polynôme|polynomial]], avec une probabi ...équivalente des [[langage formel|langages]], pour lesquels il existe une [[machine de Turing probabiliste]] en temps [[polynôme|polynomial]] qui satisfait les ...

...de complexité]] caractérisées par leur [[complexité en espace]] sur une [[machine de Turing non déterministe]]. ...ui, pour une entrée de taille <math>n</math>, peuvent être décidés par une machine de Turing non déterministe fonctionnant en espace <math>\mathcal{O}(f(n))</ ...

...lle de l'entrée, afin d'aider la machine à reconnaître un [[Langage formel|langage]]. Cette notion est introduite par [[Richard Karp]] et [[Richard J. Lipton] ...(n)</math> est l'ensemble des langages <math>A</math> tels qu'il existe un langage <math>B\in\mathsf{C}</math> et une suite de conseils <math>(a_n)</math> de ...

...problème de décision|problèmes de décision]] pour lesquels il existe une [[machine de Turing probabiliste]], en temps [[polynôme|polynomial]], qui refuse tout ...équivalente des [[langage formel|langages]], pour lesquels il existe une [[machine de Turing probabiliste]] en temps [[polynôme|polynomial]] qui satisfait les ...

...ier:MooreMachineExample.svg|thumb|Le [[diagramme états-transitions]] d'une machine de Moore avec une fonction de transition partielle. Les entrées sont ''x'', ...s automates]], et en [[calculabilité|théorie de la calculabilité]], une '''machine de Moore''' ou '''automate de Moore''' (proposée par [[Edward F. Moore]]) ...

En [[informatique théorique]], la '''sémantique formelle''' (des [[Langage de programmation|langages de programmation]]) est l’étude de la significati Comme en [[linguistique]], la [[sémantique]], appliquée aux [[Langage de programmation|langages de programmation]], désigne le lien entre un [[S ...

=== Pour un langage de programmation === Si <math>\varphi</math> est un [[langage de programmation acceptable]] alors il existe une [[fonction calculable]] < ...

|décidable en temps polynomial par une [[machine de Turing probabiliste]] avec une probabilité d'erreur inférieure à 1/3 |décidable par une machine déterministe en espace O(f(n)) ...

...). Un [[problème de décision]] est dans '''NP''' s'il est décidé par une [[machine de Turing non déterministe]] en temps [[polynôme|polynomial]] par rapport à === Définition par machine non déterministe === ...

...re des [[automate à pile|automates à pile]] qui ne reconnaissent que les [[langage algébrique|langages algébriques]]. Autant les automates à pile opèrent en m ...é <math>\,x\in\Sigma^*</math> si, après un nombre fini de transitions, la machine atteint une configuration où la file est vide, soit si<ref name= "Kozen"> ...