Accès plus rapide que le navigateur!
41 relations: Analyse lexicale, Analyse syntaxique, Aristid Lindenmayer, Automate à pile, Automate fini, Automate linéairement borné, Calcul des propositions, Compilateur, Concaténation, Ensemble récursif, Expression régulière, Forme de Backus-Naur, Forme normale de Chomsky, Forme normale de Greibach, Formule logique, Grammaire, Grammaire contextuelle, Grammaire générative et transformationnelle, Grammaire non contextuelle, Grammaire universelle, Hiérarchie de Chomsky, Informatique, Interpréteur, L-Système, Langage algébrique, Langage algébrique déterministe, Langage contextuel, Langage de programmation, Langage formel, Langage rationnel, Lex (logiciel), Machine de Turing, Monoïde, Noam Chomsky, Pascal (langage), Programmation logique, Récursivement énumérable, Symboles terminaux et non terminaux, Syntaxe, Théorie de la calculabilité, Yacc (logiciel).
Analyse lexicale
En informatique, l’analyse lexicale,, segmentation ou est la conversion d’une chaîne de caractères (un texte) en une liste de symboles (en anglais).
Nouveau!!: Grammaire formelle et Analyse lexicale · Voir plus »
Analyse syntaxique
L' consiste à mettre en évidence la structure d'un texte, généralement une phrase écrite dans une langue naturelle, mais on utilise également cette terminologie pour l'analyse d'un programme informatique.
Nouveau!!: Grammaire formelle et Analyse syntaxique · Voir plus »
Aristid Lindenmayer
Aristid Lindenmayer, né le 17 novembre 1925 à Budapest et mort le 10 octobre 1989, est un biologiste hongrois.
Nouveau!!: Grammaire formelle et Aristid Lindenmayer · Voir plus »
Automate à pile
Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates.
Nouveau!!: Grammaire formelle et Automate à pile · Voir plus »
Automate fini
Fig. 1: Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais ou 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.
Nouveau!!: Grammaire formelle et Automate fini · Voir plus »
Automate linéairement borné
En informatique théorique, et en particulier en théorie des automates, un automate linéairement borné (en anglais, abrégé en LBA) est une machine de Turing non déterministe qui n'utilise qu'une portion contiguë du ruban de taille linéaire en la taille de l'entrée.
Nouveau!!: Grammaire formelle et Automate linéairement borné · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Grammaire formelle et Calcul des propositions · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Grammaire formelle et Compilateur · Voir plus »
Concaténation
Le terme concaténation (substantif féminin), du latin, « avec », et, « chaîne, liaison », désigne l'action de mettre bout à bout au moins deux chaînes de caractères ou de péricopes.
Nouveau!!: Grammaire formelle et Concaténation · Voir plus »
Ensemble récursif
En théorie de la calculabilité, un ensemble récursif ou ensemble décidable est un ensemble d'entiers (ou d'éléments facilement codables dans les entiers) dont la fonction caractéristique est une fonction récursive au sens de la logique mathématique.
Nouveau!!: Grammaire formelle et Ensemble récursif · Voir plus »
Expression régulière
Stephen Cole Kleene, dont les travaux ont fondé le concept d'expression régulière. En informatique, une expression régulière ou expression rationnelle ou expression normaleD'après la de la norme ISO/IEC 9075:1989 par le Conseil du Trésor du Canada et qui est par le Bureau de la traduction du gouvernement du Canada.
Nouveau!!: Grammaire formelle et Expression régulière · Voir plus »
Forme de Backus-Naur
La forme de Backus-Naur (souvent abrégée en BNF, de l'anglais) est une notation qui permet d'écrire les règles des langages informatiques (notamment des langages de programmation).
Nouveau!!: Grammaire formelle et Forme de Backus-Naur · Voir plus »
Forme normale de Chomsky
En informatique théorique, et notamment en théorie des langages, une grammaire non contextuelle est en forme normale de Chomsky si et seulement si toutes ses règles de production sont de la forme.
Nouveau!!: Grammaire formelle et Forme normale de Chomsky · Voir plus »
Forme normale de Greibach
En informatique théorique, et notamment en théorie des langages formels, une grammaire algébrique est en forme normale de Greibach (en anglais, Greibach normal form ou GNF) si les membres droits de ses règles commencent tous par un symbole terminal, suivi éventuellement d'une ou plusieurs variables.
Nouveau!!: Grammaire formelle et Forme normale de Greibach · Voir plus »
Formule logique
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage.
Nouveau!!: Grammaire formelle et Formule logique · Voir plus »
Grammaire
La grammairedu latin grammatica, emprunté au grec.
Nouveau!!: Grammaire formelle et Grammaire · Voir plus »
Grammaire contextuelle
Une grammaire contextuelle est une grammaire formelle dans laquelle les substitutions d'un symbole non terminal sont soumises à la présence d'un contexte gauche et d'un contexte droit.
Nouveau!!: Grammaire formelle et Grammaire contextuelle · Voir plus »
Grammaire générative et transformationnelle
La grammaire générative et transformationnelle est une théorie syntaxique s’inscrivant dans le courant de la linguistique générative.
Nouveau!!: Grammaire formelle et Grammaire générative et transformationnelle · Voir plus »
Grammaire non contextuelle
En linguistique et en informatique théorique, une grammaire algébrique, ou grammaire non contextuelle, aussi appelée grammaire hors-contexte ou grammaire « context-free » est une grammaire formelle dans laquelle chaque règle de production est de la forme où X est un symbole non terminal et \alpha est une chaîne composée de terminaux et/ou de non-terminaux.
Nouveau!!: Grammaire formelle et Grammaire non contextuelle · Voir plus »
Grammaire universelle
La grammaire universelle, développée essentiellement par Noam Chomsky, défend la thèse selon laquelle il existe une grammaire universelle innée, qui serait le domaine de compétences spécifiques à notre espèce, ou encore, notre capacité cognitive propre.
Nouveau!!: Grammaire formelle et Grammaire universelle · Voir plus »
Hiérarchie de Chomsky
Hiérarchie de Chomsky. En informatique théorique, en théorie des langages, et en calculabilité, la hiérarchie de Chomsky (parfois appelée hiérarchie de Chomsky-Schützenberger) est une classification des grammaires formelles (et par extension, des langages formels respectifs engendrés par les grammaires), esquissée par Noam Chomsky en 1956, et décrite de façon formelle en 1959.
Nouveau!!: Grammaire formelle et Hiérarchie de Chomsky · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Grammaire formelle et Informatique · Voir plus »
Interpréteur
Interpréteur peut désigner: en informatique.
Nouveau!!: Grammaire formelle et Interpréteur · Voir plus »
L-Système
En informatique théorique, un L-système ou système de Lindenmayer est un système de réécriture ou grammaire formelle, inventé en 1968 par le biologiste hongrois Aristid Lindenmayer.
Nouveau!!: Grammaire formelle et L-Système · Voir plus »
Langage algébrique
En théorie des langages formels, un langage algébrique ou langage non contextuel est un langage qui est engendré par une grammaire algébrique.
Nouveau!!: Grammaire formelle et Langage algébrique · Voir plus »
Langage algébrique déterministe
En 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.
Nouveau!!: Grammaire formelle et Langage algébrique déterministe · Voir plus »
Langage contextuel
En informatique théorique, et spécialement en théorie des langages, un langage contextuel (en anglais) est un langage formel engendré par une grammaire contextuelle.
Nouveau!!: Grammaire formelle et Langage contextuel · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Grammaire formelle et Langage de programmation · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Grammaire formelle et Langage formel · Voir plus »
Langage rationnel
En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes.
Nouveau!!: Grammaire formelle et Langage rationnel · Voir plus »
Lex (logiciel)
Éric Schmidt, programmeur de Lex.. Lex est un outil de génération d'analyseurs lexicaux en langage C. Du point de vue de la classification des langages, Lex est capable de traiter des langages de type 3 (réguliers).
Nouveau!!: Grammaire formelle et Lex (logiciel) · Voir plus »
Machine de Turing
En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Nouveau!!: Grammaire formelle et Machine de Turing · Voir plus »
Monoïde
En mathématiques, un monoïde est une structure algébrique utilisée en algèbre générale, définie comme un ensemble muni d'une loi de composition interne associative et d'un élément neutre.
Nouveau!!: Grammaire formelle et Monoïde · Voir plus »
Noam Chomsky
Noam ChomskyDe son nom complet Avram Noam Chomsky.
Nouveau!!: Grammaire formelle et Noam Chomsky · Voir plus »
Pascal (langage)
Pascal est un langage de programmation impératif qui, conçu pour l'enseignement, se caractérise par une syntaxe claire, rigoureuse et facilitant la structuration des programmes.
Nouveau!!: Grammaire formelle et Pascal (langage) · Voir plus »
Programmation logique
La programmation logique est une forme de programmation qui définit les applications à l'aide.
Nouveau!!: Grammaire formelle et Programmation logique · Voir plus »
Récursivement énumérable
En théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si.
Nouveau!!: Grammaire formelle et Récursivement énumérable · Voir plus »
Symboles terminaux et non terminaux
En informatique, et notamment en théorie des langages, on appelle symboles terminaux et non terminaux les symboles utilisés dans les règles de production d'une grammaire formelle.
Nouveau!!: Grammaire formelle et Symboles terminaux et non terminaux · Voir plus »
Syntaxe
La syntaxe est, à l'origine, la branche de la linguistique qui étudie la manière dont les mots se combinent pour former des phrases ou des énoncés dans une langue.
Nouveau!!: Grammaire formelle et Syntaxe · Voir plus »
Théorie de la calculabilité
La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique.
Nouveau!!: Grammaire formelle et Théorie de la calculabilité · Voir plus »
Yacc (logiciel)
Yacc est un outil de génération d'analyseurs syntaxiques en langage C. Yacc est l'acronyme de (« Encore un autre compilateur de compilateur »).
Nouveau!!: Grammaire formelle et Yacc (logiciel) · Voir plus »
Redirections ici:
Equivalence faible, Equivalence forte, Grammaires formelles.
