Parsing avec les combinateurs

Cette séance de cours couvre le processus d'analyse du code écrit dans le texte en structures arborescentes, en se concentrant sur l'utilisation des combinateurs d'analyseurs en Scala. Il explique les défis de l'écriture de fonctions pour cette tâche, introduit des bibliothèques de combinateurs d'analyseurs tels que Scala Parser Combinator, FastParse et Scallion, et détaille la mise en œuvre d'analyseurs basiques et complexes. La séance de cours traite également du filtrage, de la transformation, du séquençage, de l'introduction d'alternatives, de l'utilisation de la récursivité et de la gestion des espaces dans les analyseurs, ainsi que du concept de lexing. En outre, il explore la nature monadique des analyseurs, l'utilisation de la notation pour séquencer les analyseurs, et se termine par un résumé de l'importance et des techniques d'analyse.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (36)

Concepts associés (49)

CS-210: Functional programming

Understanding of the principles and applications of functional programming, the fundamental models of program execution, application of fundamental methods of program composition, meta-programming thr

Combinateur d'analyseurs

En programmation informatique, un combinateur d'analyseurs est une fonction d'ordre supérieur qui accepte plusieurs analyseurs en entrée et renvoie un nouvel analyseur en sortie. Dans ce contexte, un analyseur est une fonction acceptant des chaînes en entrée et renvoyant une structure en sortie, généralement un arbre d'analyse ou un ensemble d'indices représentant les emplacements dans la chaîne où l'analyse s'est arrêtée avec succès.

Top-down parsing

Top-down parsing in computer science is a parsing strategy where one first looks at the highest level of the parse tree and works down the parse tree by using the rewriting rules of a formal grammar. LL parsers are a type of parser that uses a top-down parsing strategy. Top-down parsing is a strategy of analyzing unknown data relationships by hypothesizing general parse tree structures and then considering whether the known fundamental structures are compatible with the hypothesis.

Parsing expression grammar

In computer science, a parsing expression grammar (PEG) is a type of analytic formal grammar, i.e. it describes a formal language in terms of a set of rules for recognizing strings in the language. The formalism was introduced by Bryan Ford in 2004 and is closely related to the family of top-down parsing languages introduced in the early 1970s. Syntactically, PEGs also look similar to context-free grammars (CFGs), but they have a different interpretation: the choice operator selects the first match in PEG, while it is ambiguous in CFG.

Analyseur LR

Comme tout analyseur grammatical (ou analyseur syntaxique), un analyseur LR vise à vérifier si une chaîne de caractères (typiquement contenue dans un fichier) possède bien la structure d'une grammaire spécifiée à l'avance. Cette vérification s'accompagne généralement d'actions. Une action typique est la génération d'une autre chaîne de caractères ou encore d'un arbre d'analyse. Ainsi l'analyse grammaticale est généralement utilisée pour la compilation (transformation d'un code source en code machine).

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. L' (parser, en anglais) est le programme informatique qui réalise cette tâche. Cette opération suppose une formalisation du texte, qui est vue le plus souvent comme un élément d'un langage formel, défini par un ensemble de règles de syntaxe formant une grammaire formelle.

Combinateurs d'analyseurs orientés objet CS-452: Foundations of software

Couvre les combinateurs d'analyseurs orientés objet dans Scala pour la construction d'analyseurs, y compris l'analyse et les tests JSON.

Tuples: Désucrage et mise en œuvre CS-320: Computer language processing

Couvre les détails de mise en œuvre des tuples dans Scala, y compris le dessugaring, l'analyse lexicale, l'analyse et la génération de code.

CYK Parsing Algorithme pour les grammaires générales CS-320: Computer language processing

Introduit l'algorithme d'analyse CYK pour les grammaires sans contexte, expliquant sa gestion de l'ambiguïté et de l'importance dans l'analyse des grammaires générales.

Multithreading : génération de code et vérification de type CS-320: Computer language processing

Couvre le multithreading, la génération de code et la vérification de type dans l'implémentation du compilateur.

Aperçu du modèle standard

Fournit une analyse approfondie du modèle standard, couvrant des sujets tels que le mécanisme de Higgs, les interactions de boson de jauge, et le rôle de la chiralité en physique des particules.