Réécriture (informatique)En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises. La réécriture est utilisée en informatique, en algèbre, en logique mathématique et en linguistique. La réécriture est utilisée en pratique pour la gestion des courriers électroniques (dans le logiciel sendmail, les entêtes de courrier sont manipulées par des systèmes de réécriture) ou la génération et l'optimisation de code dans les compilateurs.
Théorie X-barreLa théorie X-barre (notée X̅) a été proposée par Noam Chomsky en 1970 dans le cadre de la linguistique générative, et développée ensuite par Ray Jackendoff (1977). Elle permet d'imposer des restrictions sur la classe des catégories grammaticales possibles tout en permettant une mise en parallèle de ces dernières grâce à des métarègles (généralisation de plusieurs règles). Par extension, cette théorie prédit des catégories grammaticales non-marquées au contraire des catégories majeures (nom, verbe, adjectif et adverbe) : déterminant (Dét.
Arbre syntaxiqueUn arbre syntaxique est un arbre permettant de représenter la syntaxe d'un objet. En linguistique, l'arbre syntaxique représente la structure syntaxique d'une phrase. Le nombre de catégories morphosyntaxiques correspondent à des classes distributionnelles, c'est-à-dire à la place qu'elles occupent dans la phrase, sur l'axe syntagmatique. En fonction de son voisinage, chaque élément peut commuter avec un autre élément de même catégorie.
Approches fonctionnelles de la grammaireLes approches fonctionnelles de grammaire sont les approches relatives à l’étude du langage qui estiment que les fonctions linguistiques et leurs éléments sont indispensables à la compréhension du processus et de la structure d’une langue. Les approches fonctionnelles linguistiques existent puisqu’une langue est fondamentalement un outil de communication. Il semble donc évident de déduire que ces différentes structures sont mieux étudiées et comprises selon les fonctions qu’elles exercent.
Linguistique théoriqueLa linguistique théorique est la branche de la linguistique qui s'occupe de modéliser la connaissance linguistique. Cette approche implique la recherche et l'explication des universaux linguistiques, qui sont des propriétés que toutes les langues ont en commun. Les champs d'étude généralement considérés comme le noyau de la linguistique théorique sont la syntaxe, la phonologie, la morphologie et la sémantique. La phonologie est souvent confondue avec la phonétique, qui comme la psycholinguistique et la sociolinguistique, sont rarement considérées comme faisant partie de la linguistique théorique.
Verb phraseIn linguistics, a verb phrase (VP) is a syntactic unit composed of a verb and its arguments except the subject of an independent clause or coordinate clause. Thus, in the sentence A fat man quickly put the money into the box, the words quickly put the money into the box constitute a verb phrase; it consists of the verb put and its arguments, but not the subject a fat man. A verb phrase is similar to what is considered a predicate in traditional grammars.
Acquisition du langageL'acquisition du langage est un domaine de recherche pluridisciplinaire, relevant notamment de la recherche en psychologie et en sciences du langage, qui vise à décrire et comprendre comment l'enfant acquiert le langage, oral ou gestuel, du milieu qui l'entoure. L'acquisition du langage d'un jeune enfant est rapide et s'effectue sans apprentissage formel. Le langage se développe toute la vie, mais c'est surtout entre la naissance et l'âge de cinq ans, que les apprentissages essentiels sont observés.
Grammaire régulièreEn informatique théorique, en théorie des langages, une grammaire régulière, rationnelle ou à états finis est une grammaire hors-contexte particulière qui décrit un langage régulier. Les grammaires régulières donnent donc une autre possibilité que les expressions rationnelles et les automates finis pour décrire un langage régulier. Une grammaire régulière peut être « à gauche » ou « à droite ». Une grammaire régulière à gauche est un ensemble de règles de la forme : où , sont des symboles non-terminaux et un symbole terminal.
Forme de Backus-NaurLa forme de Backus-Naur (souvent abrégée en BNF, de l'anglais Backus-Naur Form) est une notation qui permet d'écrire les règles des langages informatiques (notamment des langages de programmation). C’est donc un métalangage employé pour définir inductivement un langage. Elle est utilisée dans certains livres pour décrire le langage étudié, mais également par de nombreux logiciels d’analyse syntaxique pour travailler sur des fichiers sources de plusieurs langages différents.
Linguistique cognitiveEn linguistique et en sciences cognitives, la linguistique cognitive est un courant linguistique qui estime que la création, l'apprentissage et l'usage du langage trouvent leur meilleure explication par référence à la cognition humaine en général. D'un point de vue idéologique, ce courant de recherche s'inscrit en opposition avec la linguistique structuraliste. C'est le linguiste américain George Lakoff, ancien adepte de Chomsky, qui a favorisé le développement du courant de recherche de la « linguistique cognitive » au cours des années 1970-1980 aux États-Unis.
