Concept
Equivalence (formal languages)
Related courses (4)
CS-320: Computer language processing
We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in
CS-452: Foundations of software
The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
AR-313: Expressive figuration
L'enseignement transmet les fondements théoriques et introduit les techniques opératoires de la représentation. L'objectif principal est de donner aux étudiants des outils qui leur permettent de défin
AR-210: Principles of architectural gestaltung
L'enseignement transmet les fondements théoriques et introduit les techniques opératoires de la représentation. L'objectif principal est de donner aux étudiants des outils qui leur permettent de défin