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.
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.
Constrained writingConstrained writing is a literary technique in which the writer is bound by some condition that forbids certain things or imposes a pattern. Constraints are very common in poetry, which often requires the writer to use a particular verse form. Constraints on writing are common and can serve a variety of purposes. For example, a text may place restrictions on its vocabulary, e.g. Basic English, copula-free text, defining vocabulary for dictionaries, and other limited vocabularies for teaching English as a second language or to children.
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.
Carré SatorLe carré Sator est un carré magique contenant le palindrome latin SATOR AREPO TENET OPERA ROTAS. Ce carré figure dans plusieurs inscriptions latines, la plus ancienne connue qui a été trouvée à Pompéi ne pouvant être postérieure à l'an 79. L'énigme formée par le sens de cette inscription a intrigué de nombreux savants et suscité diverses hypothèses, utilisant des interprétations exégétiques juive ou chrétienne et provoquant le scepticisme sur une signification de l'inscription de la part d'historiens de la Rome antique.
Anagrammevignette|upright=1.3|Illustration d'une anagramme par le poète anglais George Herbert dans The Temple (1633). vignette|upright=1.3|Les anagrammes de « Le Marquis de Sade » : Démasqua le désir - Marque des ladies. Une anagramme est un mot ou une expression obtenu en permutant les lettres d'un mot ou d'une expression de départ. Une anagramme (le mot est féminin) est une sorte de jeu sur les mots, qui permute les lettres d'un mot pour en extraire un mot nouveau, ou d'un groupe de mots pour en extraire un sens nouveau.
BactérieLe terme bactérie est un nom vernaculaire qui désigne certains organismes vivants microscopiques et procaryotes présents dans tous les milieux. Le plus souvent unicellulaires, elles sont parfois pluricellulaires (généralement filamenteuses), la plupart des espèces bactériennes ne vivant pas individuellement en suspension, mais en communautés complexes adhérant à des surfaces au sein d'un gel muqueux (biofilm). vignette|200px|Coques à gauche, Spirillum au centre, bacille à droite.
GèneUn gène, du grec ancien (« génération, naissance, origine »), est, en biologie, une séquence discrète et héritable de nucléotides dont l'expression affecte les caractères d'un organisme. L'ensemble des gènes et du matériel non codant d'un organisme constitue son génome. Un gène possède donc une position donnée dans le génome d'une espèce, on parle de locus génique. La séquence est généralement formée par des désoxyribonucléotides, et est donc une séquence d'ADN (par des ribonucléotides formant de l'ARN dans le cas de certains virus), au sein d'un chromosome.
Langage algébriqueEn théorie des langages formels, un langage algébrique ou langage non contextuel est un langage qui est engendré par une grammaire algébrique. De manière équivalente, un langage algébrique est un langage reconnu par un automate à pile. Les langages algébriques forment les langages de dans la hiérarchie de Chomsky. Ils ont des applications importantes dans la description des langages de programmation et en linguistique. Ils interviennent également dans la description des langages XML.
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.
