Deterministic pushdown automatonIn automata theory, a deterministic pushdown automaton (DPDA or DPA) is a variation of the pushdown automaton. The class of deterministic pushdown automata accepts the deterministic context-free languages, a proper subset of context-free languages. Machine transitions are based on the current state and input symbol, and also the current topmost symbol of the stack. Symbols lower in the stack are not visible and have no immediate effect. Machine actions include pushing, popping, or replacing the stack top.
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.
Langage algébrique déterministeEn informatique théorique et en théorie des langages, un langage algébrique déterministe est un langage algébrique reconnu (par états finals) par un automate à pile déterministe. L'intérêt des langages déterministes est que leur analyse syntaxique se fait en temps linéaire en la longueur du mot, alors que dans un langage algébrique quelconque, la complexité est cubique, ou en tout cas se ramène à la complexité du produit matriciel, donc est en O(n2,37) où n est la longueur du mot par l'algorithme de Valiant.
Automate fini déterministe bidirectionnelEn informatique théorique, et notamment en théorie des automates, un automate fini déterministe bidirectionnel (en anglais ) souvent abrégé en 2AFD (en anglais 2DFA), est un automate fini déterministe qui peut relire des symboles d'entrée déjà vus. Comme pour les automates finis déterministes usuels, un 2AFD possède un nombre fini d'états, et le passage d'un état à un autre est régi par des transitions en fonction du symbole lu. De plus, une transition porte une information sur la direction de déplacement de la lecture, soit vers la droite soit vers la gauche.
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é.
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 à pileUn automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est une généralisation des automates finis : il dispose en plus d'une mémoire infinie organisée en pile (last-in/first-out ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il effectue pour chaque lettre du mot une transition, dont le choix dépend de la lettre, de l'état de l'automate et du sommet de la pile ; il peut aussi modifier le contenu de la pile.
Grammaire non contextuelle déterministeEn informatique théorique, et particulièrement dans la théorie des grammaires formelles, les grammaires context-free déterministes ( DCFG ) ou grammaires non contextuelles déterministes sont un sous-ensemble des grammaires non contextuelles. Ce sont les grammaires non contextuelles qui peuvent être dérivées d'automates à pile déterministes, et ils engendrent les langages non contextuels déterministes. Les DCFG sont toujours inambigües et ils constituent une sous-classe importante des grammaires non contextuelles ; il existe cependant des CFG inambigües qui ne sont pas déterministes.
Couleurvignette|Peinture de Claude Monet. La couleur est la perception visuelle de l'aspect d'une surface ou d'une lumière, basée, sans lui être rigoureusement liée, sur la répartition spectrale de la lumière, qui stimule des cellules nerveuses spécialisées situées sur la rétine nommées cônes. Le système nerveux transmet et traite l'influx jusqu'au cortex visuel.
Automate d'arbresEn informatique théorique, plus précisément en théorie des langages, un automate d'arbre est une machine à états qui prend en entrée un arbre, plutôt qu'une chaîne de caractères pour les automates plus conventionnels, comme les automates finis. Comme pour les automates classiques, les automates d'arbres finis (FTA pour finite tree automata en anglais) peuvent être déterministes ou pas. Suivant la façon dont les automates se « déplacent » sur l'arbre qu'ils traitent, les automates d'arbres peuvent être de deux types : (a) ascendants ; (b) descendants.
Théorie de la couleurvignette|Cercle chromatique inspiré de celui de Johannes Itten. La couleur, perception humaine d'un phénomène naturel, la lumière, a suscité de nombreuses constructions théoriques. Les philosophes s'interrogent sur la couleur, propriété de l'objet auquel elle semble attachée, ou concept de la personne qui regarde. La première approche détermine les recherches physique sur le rayonnement. La seconde, considérant la couleur d'abord comme un concept, débouche sur l'hypothèse de Sapir-Whorf, largement réfutée par des enquêtes ethnographiques sur les champs chromatiques.
Espace de couleurvignette|Vue de côté de l'espace de couleurs CIE Lab*. Un espace de couleur ou espace chromatique est un concept de présentation des couleurs. On dispose les couleurs dans un espace à trois dimensions . Les trois nombres qui, ensemble, décrivent la couleur dans un système colorimétrique, s'assimilent à des coordonnées dans cet espace. La représentation des couleurs dans un espace chromatique ne tient pas compte de l'influence que des plages de couleur ont l'une sur l'autre .
DaltonismeLe daltonisme est une anomalie de la vision affectant la perception des couleurs (ce trouble de la vision des couleurs étant appelé dyschromatopsie). D'origine généralement génétique, elle a alors pour cause une déficience d'un ou plusieurs des trois types de cônes de la rétine oculaire. Habituellement classé comme une infirmité légère, il existe des situations où les daltoniens peuvent avoir un avantage sur les individus ayant une vision normale. Cela peut être une explication évolutive de la fréquence étonnamment haute de daltonisme rouge-vert congénital.
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.
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.
Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
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é.
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.
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.
Writing implementA writing implement or writing instrument is an object used to produce writing. Writing consists of different figures, lines, and or forms. Most of these items can be also used for other functions such as painting, drawing and technical drawing, but writing instruments generally have the ordinary requirement to create a smooth, controllable line. Another writing implement employed by a smaller population is the stylus used in conjunction with the slate for punching out the dots in Braille.
