Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Formal grammar

Related lectures (30)

Deterministic Pushdown Automata

Covers deterministic pushdown automata and their use in language recognition.

Parsing: CYK Algorithm Log in to Mediaspace to watch this video

Explores formal grammars, parsing algorithms, CYK algorithm efficiency, and syntactic correctness in Natural Language Processing.

CYK algorithm Log in to Mediaspace to watch this video

Introduces the CYK algorithm for efficient syntactic analysis using chart parsing and discusses its complexity and bottom-up parsing technique.

Rhythmic Generation Techniques Log in to Mediaspace to watch this video

Covers rhythm generation techniques, including Markov models and hierarchical rhythm generation, with a focus on Nancarrow's Study 14.

The Future: Computational Linguistics and Deep Learning Log in to Mediaspace to watch this video

Explores the influence of computational linguistics on deep learning architectures, covering grammar formalisms, connectionism, variable binding, and future directions.

Relational Algebra Log in to Mediaspace to watch this video

Introduces relational query languages, focusing on algebra operators and query optimization.

Calcul and algorithms: first algorithm example Log in to Mediaspace to watch this video

Covers finding the maximum value in a list and related problems.

Elliptic Partial Differential Equations Log in to Mediaspace to watch this video

Covers the model problem of elliptic PDEs with weak formulation and classical solutions.

Chemical Reactions: Transformer Architecture Log in to Mediaspace to watch this video

Explores atom mapping in chemical reactions and the transition to reaction grammar using the transformer architecture.

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.