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.
Problème de la décisionEn logique mathématique, on appelle problème de la décision ou, sous son nom d'origine en allemand, Entscheidungsproblem, le fait de déterminer de façon mécanique (par un algorithme) si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à-dire s'il se dérive dans un système de déduction sans autres axiomes que ceux de l'égalité (exemples : système à la Hilbert, calcul des séquents, déduction naturelle).
Élimination des quantificateursEn logique mathématique, ou plus précisément en théorie des modèles, l'élimination des quantificateurs est l'action consistant à trouver une formule sans quantificateur équivalente à une formule donnée contenant éventuellement des quantificateurs dans la théorie considérée d'un certain langage.
StyloLe stylo (apocope de stylographe) est un instrument, généralement de forme allongée facilitant sa préhension, qui sert à écrire ou à dessiner. Ayant l'avantage de posséder son propre réservoir d'encre, il a progressivement remplacé le porte-plume. Le mot est attesté en Grande-Bretagne dès 1882 pour un instrument à pointe tubulaire mais ne fut utilisé en France au sens d'instrument d'écriture qu'à partir de 1907. Il ne figure cependant pas encore dans le Larousse élémentaire illustré de 1918.
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.
OpacitéL'opacité d'une pellicule de peinture, d'encre, de vernis, de papier, est sa propriété d'intercepter la lumière, même lorsqu'elle est de faible épaisseur. L'opacité d'une peinture est sa capacité à occulter les colorations du substrat. Elle s'évalue simplement en enduisant d'une couche un support portant des formes à fort contraste. Ce qui en reste visible détermine l'appréciation de l'opacité. Les marchands de couleurs classent généralement leurs peintures en trois catégories : opaque, semi-transparent, transparent.
Fonction régulière non analytiqueEn mathématiques, les fonctions régulières (i.e. les fonctions indéfiniment dérivables) et les fonctions analytiques sont deux types courants et d'importance parmi les fonctions. Si on peut prouver que toute fonction analytique réelle est régulière, la réciproque est fausse. Une des applications des fonctions régulières à support compact est la construction de fonctions régularisantes, qui sont utilisées dans la théorie des fonctions généralisées, telle la théorie des distributions de Laurent Schwartz.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Fonction C∞ à support compactEn mathématiques, une fonction C à support compact (également appelée fonction test) est une fonction infiniment dérivable dont le support est compact. Ces fonctions sont au cœur de la théorie des distributions, puisque ces dernières sont construites comme éléments du dual topologique de l'espace des fonctions tests. Les fonctions C à support compact sont également utilisées pour construire des suites régularisantes et des partitions de l'unité de classe C.
Raie spectraleUne raie spectrale est une ligne sombre ou lumineuse dans un spectre électromagnétique autrement uniforme et continu. Les raies spectrales sont le résultat de l'interaction entre un système quantique (généralement des atomes, mais parfois aussi des molécules ou des noyaux atomiques) et le rayonnement électromagnétique. vignette|upright=2|Raies de Fraunhofer sur un spectre continu avec leur notation alphabétique et les longueurs d'onde correspondantes.
Bec de plumeLe bec d’une plume d’écriture est la partie qui en forme l’extrémité et qui vient en contact avec le support, papier, parchemin ou autre. Le bec est pourvu d’une fente qui permet à ses deux parties de s’écarter plus ou moins selon la pression, produisant ainsi un tracé plus ou moins épais (plein et délié). Lorsque la plume est taillée en biseau, de manière à présenter une extrémité d’une certaine largeur, comme le calame, le bec est plus rigide et les pleins et déliés sont fonction de l’inclinaison du tracé.
