Automate finithumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine 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.
Automate fini non déterministeUn automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la vérification de programmes, la théorie de la calculabilité, dans l'étude des langages formels et en compilation.
Transducteur finiEn informatique théorique, en linguistique, et en particulier en théorie des automates, un transducteur fini (appelé aussi transducteur à états finis par une traduction littérale de l'anglais finite state transducer) est un automate fini avec sorties. C'est une extension des automates finis. Ils opèrent en effet sur les mots sur un alphabet d'entrée et, au lieu de simplement accepter ou refuser le mot, ils le transforment, de manière parfois non déterministe, en un ou plusieurs mots sur un alphabet de sortie.
Automate fini déterministeUn automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon 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 transitions peuvent exister simultanément pour un état et un symbole d'entrée donné.
Machine de MealyEn informatique théorique, notamment en théorie des automates, et en théorie de la calculabilité, une machine de Mealy ou automate de Mealy est un transducteur fini (i.e. un automate fini avec une sortie) pour lequel les sorties dépendent à la fois de l'état courant et des symboles d'entrée. Cela signifie que l'étiquette de chaque transition est un couple formé d'une lettre d'entrée et d'une lettre de sortie. En particulier, la longueur du mot de sortie est égale à la longueur du mot d'entrée.
Automate quantiqueEn 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 le résultat d'une certaine mesure. Il existe plusieurs modèles des automates finis quantiques ; le plus restrictif est celui des automates dits « measure-once » de ; un autre est celui des automates « measure-many » de . Ces deux modèles sont très différents l'un de l’autre ; le modèle « measure-once » se rapproche plus de la théorie classique des automates finis.
Table de transition d'étatDans la théorie des automates et en logique séquentielle, une table de transition d'état est un tableau montrant dans quel état (ou états dans le cas d'un automate fini non déterministe) d'un automate fini se déplacer, sur la base de l'état actuel et des autres entrées. Une table d'état est essentiellement une table de vérité, dans laquelle certaines des entrées sont l'état actuel, et les sorties comprennent l'état suivant, en même temps que les autres sorties.
Électronique numériqueL'électronique numérique concerne le système ou la technologie appliquée dont les caractéristiques sont exprimées par des valeurs de nombres, en anglais digital signifiant « chiffre ». La meilleure fiabilité lors de la transmission des signaux numérisés procure en principe, un contrôle de bout en bout de la chaîne des signaux. Le mode numérique permet de s'affranchir le plus souvent du bruit de fond, des parasites et autres artefacts lors de la transmission et améliore notamment le rapport signal sur bruit.
Théorie des automatesEn informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Système de transition d'étatsEn informatique théorique, un système de transition d'états est une forme de machine abstraite utilisée pour modéliser un ou des calcul(s). Un système de transition d'états est constitué d'un ensemble d'états et d'un ensemble de transitions d'un état à un autre, qui peuvent être étiquetées ; une même étiquette peut apparaître sur plusieurs transitions. Si l'ensemble des étiquettes est un singleton, on peut omettre l'étiquetage. Les systèmes d'états-transitions sont des graphes orientés.
État de transitionUn état de transition est, dans une réaction chimique, une configuration particulière le long d'une coordonnée de réaction. Il est défini comme un état correspondant à une énergie maximale le long de cette coordonnée. En ce point, si l'on postule une réaction parfaitement irréversible, les espèces réagissant iront toujours vers la formation des produits. Bien que cette notion soit extensible à toute réaction ou transition physico-chimique, elle est utilisée essentiellement en chimie moléculaire.
Théorie de l'état de transitionthumb|Figure 1 : diagramme de réaction pour une réaction de substitution nucléophile bimoléculaire (SN2) entre le bromométhane et l'anion hydroxyde|400px La théorie de l'état de transition (en anglais transition state theory - TST) a pour objectif d'expliquer les cinétiques de réaction pour des réactions chimiques élémentaires. Cette théorie postule l'existence d'un genre spécial d'équilibre chimique, le quasi-équilibre, entre les réactifs et un complexe de transition activé.
États des États-UnisLes États des États-Unis sont les subdivisions politiques et historiques les plus importantes des États-Unis d'Amérique. Ce pays est une république fédérale composée de cinquante États fédérés auxquels s'ajoutent le district de Columbia et plusieurs territoires. La souveraineté est exercée à la fois par le gouvernement fédéral et par chacun des cinquante gouvernements d'État. Un Américain est à la fois citoyen des États-Unis et citoyen de l'État où il est domicilié.
État de New YorkL'État de New York (en anglais : State of New York, ou simplement New York) est un État des États-Unis, quatrième plus peuplé du pays avec d'habitants en 2022. Il se trouve dans le nord-est du pays et a pour capitale la ville d'Albany, située dans le nord-est de l'État. Vers le nord et l'ouest, son territoire s'élargit et partage une longue frontière avec le Canada (provinces de l'Ontario et du Québec), dont une grande partie est constituée par les lacs Érié et Ontario.
CalifornieLa Californie (en anglais et en espagnol : California) est un État des États-Unis qui fait partie de la région de la Sun Belt dans l’Ouest américain. Avec selon le recensement officiel de 2020, la Californie est l'État le plus peuplé du pays. Il est situé sur la côte ouest et bordé au sud par le désert de Sonora, à l'est par le Grand Bassin des États-Unis et au nord par les monts Klamath. La façade océanique suit entièrement le relief des chaînes côtières du Pacifique au-delà desquelles s'étend la Vallée Centrale sur les contreforts de la Sierra Nevada.
TexasLe Texas (prononcé : ou ; en anglais : ; en espagnol : Texas ou Tejas ) est un État du Sud des États-Unis, le deuxième plus vaste du pays () après l'Alaska et deuxième plus peuplé après la Californie. Selon le décompte officiel du Bureau du recensement des États-Unis (2020), le Texas aurait . Sa capitale est Austin alors que Houston est sa plus grande ville et Dallas-Fort Worth son agglomération la plus peuplée. Les Texans sont à près de 80 % des citadins et presque la moitié d'entre eux vivent dans deux agglomérations : Dallas-Fort Worth ou Houston.
PennsylvanieLa Pennsylvanie , officiellement le Commonwealth de Pennsylvanie (Pennsylvania et Commonwealth of Pennsylvania), est un État des États-Unis, bordé au nord-ouest par le lac Érié, au nord par l'État de New York, à l'est par le New Jersey, au sud par le Delaware, le Maryland et la Virginie-Occidentale et à l'ouest par l'Ohio. En 2019, sa population s'élève à . Avant sa colonisation, la région était habitée par les Lenapes (aussi connus sous le nom de Delawares), les Susquehannock, Iroquois, Ériés, Chaouanons, et d'autres tribus amérindiennes.
