Concept
Langage algébrique déterministe
Séances de cours associées (29)
Compression: Inégalité de Kraft
Explique la compression et l'inégalité Kraft dans les codes et les séquences.
Compression: Codes sans préfixe
Explique comment concevoir des codes sans préfixe efficaces pour la compression.
Compression: Codes sans préfixe
Explique les codes sans préfixe pour une compression efficace des données et l'importance des codes décodables de manière unique.
Sémantique opérationnelle : Amyli Language
Explore la sémantique opérationnelle et les relations inductives dans le langage Amyli.
Techniques de génération rythmique
Couvre les techniques de génération de rythme, y compris les modèles Markov et la génération de rythme hiérarchique, en mettant l'accent sur l'étude de Nancarrow 14.
CYK Parsing Algorithme pour les grammaires générales
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.
Arbre syntaxique : Parse vs AST
Explique les arbres syntaxiques, l'analyse vs AST, tandis que la syntaxe du langage, les classes AST et les ambiguïtés grammaticales.
Introduction aux types et aux relations inductives
Explore l'importance des types dans la programmation et discute des systèmes de types malsains et des relations inductives.
Introduction aux grammaires
Introduit des automates, des limitations de langues régulières, des grammaires sans contexte et des grammaires équilibrées entre parenthèses.
CYK Algorithme pour l'analyse des grammaires générales
Explore l'analyse des grammaires générales à l'aide de l'algorithme CYK et de Chomsky Normal Form.