Langage formel Langage formel L'analyse syntaxique consiste à exhiber la structure d'un texte. Un analyseur syntaxique est un programme informatique qui réalise cette tâche. Cette opération suppose une formalisation du texte, qui est vu comme un élément d'un langage formel, et qui est régi par un ensemble de règles de syntaxe formant une grammaire formelle. La structure révélée par l'analyse donne précisément comment les règles de syntaxe sont combinées dans le texte. Cette structure est essentiellement une hiérarchie de syntagmes, représentable par un arbre syntaxique. ...Wikipedia "Analyse syntaxique"
Un automate fini (on dit parfois machine à états finis), en anglais finite state automaton ou finite state machine (FSA, FSM), est une machine abstraite utilisée en théorie de la calculabilité et dans l'étude des langages formels. Un automate est constitué détats et de transitions. Son comportement est dirigé par un mot fourni en entrée : l'automate passe d'état en état, suivant les transitions, à la lecture de chaque lettre de l'entrée. Un automate fini possède un nombre fini d'états distincts : il ne dispose donc que d'une mémoire bornée. ...Wikipedia "Automate fini"
Informellement, en programmation, on appelle la concaténation de deux chaînes de caractères, la chaîne formée de ces deux chaînes mises bout à bout. ...Wikipedia "Concaténation"
L'Extended Backus-Naur form (EBNF) est comme son nom l'indique une extension du métalangage BNF, créée par Niklaus Wirth. Cette forme permet de condenser la notation BNF et de la rendre plus lisible. ...Wikipedia "EBNF"
Un encodage sémantique est une « traduction » entre deux langages formels. ...Wikipedia "Encodage sémantique"
Les expressions rationnelles (en anglais regular expressions dont l' abrégé est regexp ou regex, et dont une mauvaise traduction fréquemment employée est expressions régulières) sont une famille de notations compactes et puissantes pour décrire certains ensembles de chaînes de caractères. Ces notations sont utilisées par plusieurs éditeurs de texte et utilitaires (particulièrement sous Unix), par exemple Vim, Emacs, sed et awk, pour parcourir de façon automatique des textes à la recherche de morceaux de texte ayant certaines formes, et éventuellement remplacer ces morceaux de texte par d'autres. ...Wikipedia "Expression rationnelle"
La fermeture de Kleene, parfois appelé étoile de Kleene ou encore fermeture itérative est un opérateur unaire utilisé pour décrire les langages formels. Appliqué à un ensemble V, il a pour résultat le langage , défini ainsi : ...Wikipedia "Fermeture de Kleene" You've Got Questions. We've Got shortopedia. Langage_formel
BNF, pour Backus Naur Form, est une notation permettant de décrire les règles syntaxiques des langages informatiques. C’est donc un métalangage. Elle est utilisée dans certains livres pour décrire le langage étudié mais également par de nombreux logiciels d’analyse syntaxique. BNF est une notation pour des grammaires de type hors-contexte (car on définit les termes hors de leur contexte, pour replacer ensuite la définition desdits termes dans ce contexte). ...Wikipedia "Forme de Backus-Naur"
Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots sur un alphabet donné. ...Wikipedia "Grammaire formelle"
En linguistique et en informatique, une grammaire hors-contexte ou grammaire indépendante du contexte, grammaire de niveau 2 dans la hiérarchie de Chomsky, ou encore grammaire algébrique est une grammaire formelle dans laquelle chaque règle de production est de la forme ...Wikipedia "Grammaire hors-contexte"
La hiérarchie de Chomsky est une classification des langages décrits par les grammaires formelles, proposée en 1956 par le linguiste Noam Chomsky. Elle est aujourd'hui largement utilisée en informatique, en particulier pour la conception d' interpréteurs ou de compilateurs, ou encore pour l'analyse des langages naturels. ...Wikipedia "Hiérarchie de Chomsky"
Un langage de description de format de document est un langage permettant de définir un jeu de règles et contraintes qui seront utilisées pour savoir si une instance de document est valide par rapport à ce même jeu de règles et contraintes. ...Wikipedia "Langage de description de format de document"
Les langages de formatage de texte sont un type de langage de description de format de document. Ils permettent la manipulation automatisée d'un texte, et en particulier sa conversion en différents formats. ...Wikipedia "Langage de formatage de texte"
Dans de nombreux contextes (scientifique, légal, etc.) l'on désigne par langage formel un mode d'expression plus formalisé et plus précis (les deux n'allant pas nécessairement de pair) que le langage de tous les jours (voir langage naturel). ...Wikipedia "Langage formel"
Le langage formel mathématique est le langage formel utilisé en mathématiques pour représenter les concepts mathématiques. ...Wikipedia "Langage formel mathématique"
Un langage rationnel, ou langage de type 3 dans la hiérarchie de Chomsky, aussi appelé (incorrectement) langage régulier, est un langage formel que l'on peut définir grâce à une expression rationnelle. ...Wikipedia "Langage rationnel"
La lemmatisation d'un mot est la fonction qui, à un mot, associe sa forme canonique. ...Wikipedia "Lemmatisation"
Lemme de l'étoile (pumping lemma). ...Wikipedia "Lemme de l'étoile"
Un métalangage est un formalisme conçu pour décrire rigoureusement un langage. ...Wikipedia "Métalangage"
Dans les années 1940, Warren McCulloch et Walter Pitts ont décrit le système nerveux en modélisant les neurones par des automates simples. Le logicien, Stephen Cole Kleene, a ensuite décrit ces modèles en termes densembles réguliers, notion qu'il a introduite avec une certaine notation. En 1959, Michael Rabin et Dana Scott propose le premier traitement mathématique et rigoureux de ces concepts dans un article célèbre qui leur vaut le Prix Turing et qui contribue à faire démarrer l'étude de ces langages. ...Wikipedia "Théorie des expressions rationnelles"
La théorie des langages a pour objectif de comprendre le fonctionnement des langages, vus comme moyen de communication, d'un point de vue mathématiques. ...Wikipedia "Théorie des langages" Inform your friends about http://fr.shortopedia.com Langage_formel
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Shortopedia article about "Langage formel".
| MAIN PAGE | MAIN INDEX | CONTACT US |