Table des matières
37 relations: Alphabet, Automate fini, Automate probabiliste, Automorphisme, Base orthonormée, Chaîne de Markov, Décidabilité, Dynamique symbolique, Ensemble fini, Espace de Hilbert, Espace homogène, Expression régulière, Groupe (mathématiques), Groupe algébrique, Information and Computation, Informatique quantique, Informatique théorique, Langage formel, Langage rationnel, Lemme d'itération, Loi de probabilité, Matrice d'adjacence, Matrice orthogonale, Matrice unitaire, Michael Rabin, Monoïde syntaxique, Notation bra-ket, Opérateur unitaire, Orthogonalité, Produit matriciel, Projecteur (mathématiques), Série formelle, Springer Science+Business Media, Théorie des graphes, Topologie de Zariski, Variété (géométrie), Vecteur colonne.
Alphabet
Lettres de l'alphabet phénicien. Un alphabet (de alpha et bêta, les deux premières lettres de l’alphabet grec) est un système d'écriture constitué d'un ensemble de symboles dont chacun représente, par exemple, un des phonèmes d’une langue.
Voir Automate quantique et Alphabet
Automate fini
Fig. 1: Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais ou ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Voir Automate quantique et Automate fini
Automate probabiliste
En mathématiques et en informatique théorique, et notamment en théorie des automates, un automate probabiliste est une généralisation des automates finis non déterministes; chaque transition de l'automate est équipée d'une probabilité (un nombre réel entre 0 et 1).
Voir Automate quantique et Automate probabiliste
Automorphisme
Un automorphisme est un isomorphisme d'un objet mathématique X dans lui-même.
Voir Automate quantique et Automorphisme
Base orthonormée
En géométrie vectorielle, une base orthonormale ou base orthonormée (BON) d'un espace euclidien ou hermitien est une base de cet espace vectoriel constituée de vecteurs de norme 1 et orthogonaux deux à deux.
Voir Automate quantique et Base orthonormée
Chaîne de Markov
Exemple élémentaire de chaîne de Markov, à deux états ''A'' et ''E''. Les flèches indiquent les probabilités de transition d'un état à un autre. En mathématiques, une chaîne de Markov est un processus de Markov à temps discret, ou à temps continu et à espace d'états discret.
Voir Automate quantique et Chaîne de Markov
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Voir Automate quantique et Décidabilité
Dynamique symbolique
En mathématiques, la dynamique symbolique est une branche de l'étude des systèmes dynamiques.
Voir Automate quantique et Dynamique symbolique
Ensemble fini
En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier.
Voir Automate quantique et Ensemble fini
Espace de Hilbert
Une photographie de David Hilbert (1862 - 1943) qui a donné son nom aux espaces dont il est question dans cet article. En mathématiques, un espace de Hilbert est un espace vectoriel réel (resp. complexe) muni d'un produit scalaire euclidien (resp. hermitien), qui permet de mesurer des longueurs et des angles et de définir une orthogonalité.
Voir Automate quantique et Espace de Hilbert
Espace homogène
En géométrie, un espace homogène est un espace sur lequel un groupe agit de façon transitive.
Voir Automate quantique et Espace homogène
Expression régulière
Stephen Cole Kleene, dont les travaux ont fondé le concept d'expression régulière. En informatique, une expression régulière ou expression rationnelle ou expression normaleD'après la de la norme ISO/IEC 9075:1989 par le Conseil du Trésor du Canada et qui est par le Bureau de la traduction du gouvernement du Canada.
Voir Automate quantique et Expression régulière
Groupe (mathématiques)
Les manipulations possibles du ''Rubik's Cube'' forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale.
Voir Automate quantique et Groupe (mathématiques)
Groupe algébrique
En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe.
Voir Automate quantique et Groupe algébrique
Information and Computation
Information and Computation est une revue scientifique informatique mensuelle publiée par Elsevier (anciennement Academic Press).
Voir Automate quantique et Information and Computation
Informatique quantique
L'informatique quantique est le sous-domaine de l'informatique qui traite des calculateurs quantiques et des associés.
Voir Automate quantique et Informatique quantique
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Voir Automate quantique et Informatique théorique
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Voir Automate quantique et Langage formel
Langage rationnel
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.
Voir Automate quantique et Langage rationnel
Lemme d'itération
En informatique théorique, et spécialement en théorie des langages, un lemme d'itération (pumping lemma en anglais) est un énoncé qui stipule que, dans un langage formel d'une classe particulière, tout mot assez long du langage possède un ou des facteurs qui peuvent être enlevés ou répétés, séparément ou de concert, tout en restant à l'intérieur du langage.
Voir Automate quantique et Lemme d'itération
Loi de probabilité
400px En théorie des probabilités et en statistique, une loi de probabilité décrit le comportement aléatoire d'un phénomène dépendant du hasard.
Voir Automate quantique et Loi de probabilité
Matrice d'adjacence
En mathématiques, en théorie des graphes, en informatique, une matrice d'adjacence pour un graphe fini à sommets est une matrice de dimension dont l'élément non diagonal est le nombre d'arêtes liant le sommet au sommet.
Voir Automate quantique et Matrice d'adjacence
Matrice orthogonale
Une matrice carrée A (n lignes, n colonnes) à coefficients réels est dite orthogonale si A A.
Voir Automate quantique et Matrice orthogonale
Matrice unitaire
En algèbre linéaire, une matrice carrée à coefficients complexes est dite unitaire si elle vérifie les égalités: \mathrm^* \times \mathrm.
Voir Automate quantique et Matrice unitaire
Michael Rabin
Michael Oser Rabin, né le à Breslau en Allemagne, maintenant Wrocław en Pologne) est un informaticien et un logicien israélien. Il a été récipiendaire du prix Turing, la récompense la plus prestigieuse en informatique.
Voir Automate quantique et Michael Rabin
Monoïde syntaxique
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 attaché au langage.
Voir Automate quantique et Monoïde syntaxique
Notation bra-ket
La notation bra-ket.
Voir Automate quantique et Notation bra-ket
Opérateur unitaire
En analyse fonctionnelle, un opérateur unitaire est un opérateur linéaire U d'un espace de Hilbert tel queU*U.
Voir Automate quantique et Opérateur unitaire
Orthogonalité
En géométrie classique, l'orthogonalité est une propriété liée à l'existence d'un angle droit (orthos.
Voir Automate quantique et Orthogonalité
Produit matriciel
Le produit matriciel désigne la multiplication de matrices, initialement appelé la « composition des tableaux ».
Voir Automate quantique et Produit matriciel
Projecteur (mathématiques)
En algèbre linéaire, un projecteur (ou une projection) est une application linéaire qu'on peut présenter de deux façons équivalentes.
Voir Automate quantique et Projecteur (mathématiques)
Série formelle
En algèbre, les séries formelles sont une généralisation des polynômes autorisant des sommes infinies, de la même façon qu'en analyse, les séries entières généralisent les fonctions polynomiales, à ceci près que dans le cadre algébrique, les problèmes de convergence sont évités par des définitions ad hoc.
Voir Automate quantique et Série formelle
Springer Science+Business Media
Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.
Voir Automate quantique et Springer Science+Business Media
Théorie des graphes
tracé de graphe. La théorie des graphes est la discipline mathématique et informatique qui étudie les graphes, lesquels sont des modèles abstraits de dessins de réseaux reliant des objets.
Voir Automate quantique et Théorie des graphes
Topologie de Zariski
En géométrie algébrique et en théorie des catégories, le terme topologie de Zariski peut désigner quatre notions proches.
Voir Automate quantique et Topologie de Zariski
Variété (géométrie)
En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2.
Voir Automate quantique et Variété (géométrie)
Vecteur colonne
Un vecteur colonne, ou matrice colonne, est une matrice comportant n lignes et 1 colonne.
Voir Automate quantique et Vecteur colonne