Formal grammar

Applied sciences
Computer engineering
Computer programming
Compilers

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 3 of 3

Operational Semantics: Amyli Language

Explores operational semantics and inductively defined relations in the Amyli language.

Relational Algebra

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

Formal Languages: Concepts

Covers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.

Calcul and algorithms: first algorithm example

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

Elliptic Partial Differential Equations

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

Constructivism

Delves into cognitive development, cognitive conflict, and the transition from constructivism to constructionism in education.

Chemical Reactions: Transformer Architecture

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

Learning-aided Program Reasoning

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

Recursive Enumerability: Turing Machines and Undecidable Languages

Covers recursively enumerable languages, Turing machines, and the construction of undecidable languages.

Deterministic Pushdown Automata

Covers deterministic pushdown automata and their use in language recognition.