Equivalence (formal languages)In formal language theory, weak equivalence of two grammars means they generate the same set of strings, i.e. that the formal language they generate is the same. In compiler theory the notion is distinguished from strong (or structural) equivalence, which additionally means that the two parse trees are reasonably similar in that the same semantic interpretation can be assigned to both. Vijay-Shanker and Weir (1994) demonstrates that Linear Indexed Grammars, Combinatory Categorial Grammars, Tree-adjoining Grammars, and Head Grammars are weakly equivalent formalisms, in that they all define the same string languages.
Noam ChomskyNoam Chomsky ( ), né le à Philadelphie, est un linguiste américain. Professeur émérite de linguistique depuis 2002 au Massachusetts Institute of Technology, où il a enseigné depuis 1955, il fonde la linguistique générative. Il s'est fait connaître du grand public, à la fois dans son pays et à l'étranger, par son parcours d'intellectuel engagé de tendance socialiste libertaire et anarchiste.
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.
Arbre de la syntaxe abstraiteEn informatique, un arbre de la syntaxe abstraite ou ASA (abstract syntax tree, ou AST, en anglais) est un arbre dont les nœuds internes sont marqués par des opérateurs et dont les feuilles (ou nœuds externes) représentent les opérandes de ces opérateurs. Autrement dit, généralement, une feuille est une variable ou une constante. Un arbre de la syntaxe abstraite est utilisé par un analyseur syntaxique comme un intermédiaire entre un arbre d'analyse et une structure de données.
Symbole (logique)alt=Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels. Les symboles et les chaînes de symboles peuvent être divisés en formules bien formées. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bien formées. L'ensemble des formules bien formées peut être divisé en théorèmes et non-théorèmes.|vignette|Ce diagramme montre les entités syntaxiques qui peuvent être construits à partir des langages formels.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
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.
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.
Couleur primaireUne couleur primaire est, dans un système de synthèse de couleurs, une couleur qui ne peut pas être reproduite par un mélange d'autres couleurs. Des couleurs sont dites primaires entre elles si aucune ne peut être reproduite par un mélange des autres. Quand on réalise un procédé de synthèse de couleurs, on choisit au moins trois primaires, en considérant les moyens techniques de les obtenir. En photographie, en impression en couleurs, sur les écrans de télévision ou d'ordinateur, les couleurs primaires sont des conventions technologiques définies par des normes.
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.
Violetvignette|La dame en violet, de Pál Szinyei Merse (1874), Galerie nationale hongroise. Le violet est un champ chromatique qui désigne des couleurs situées sur le cercle chromatique entre les pourpres et les bleus. Comme nom de couleur, violet fait partie, avec orange ou gris, de ceux qui n'apparaissent dans les langues qu'après les divisions principales des champs chromatiques. Il est attesté en français en 1520 dans une description du pouvoir et de l'orgueil de l'empereur Héliogabale.
