Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Specification language
Formal sciences
Theoretical computer science
Programming language theory
Formal verification
Graph Chatbot
Related lectures (28)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 3
Next
The red bud-blue bus paradox
Discusses the red bud-blue bus paradox in mode choice modeling and its policy implications.
Time Series
Explores Time Series, covering model specification, diagnostics, and forecasting methods.
Operations on Formal Languages
Covers formal languages, operations like union and concatenation, and the Kleene star operation.
Introduction to Computer Language Processing
Covers computer language processing, compilers, skills learned, and application examples.
Introduction to Compiler Theory and Language Processing
Introduces compiler theory, language processing, and the essential concepts behind building compilers.
Finite Automata: Recap
Covers the fundamentals of finite automata and formal languages.
Formal Languages: Concepts
Covers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Regular Expressions (Recap)
Covers the fundamentals of regular expressions and includes exercises on defining languages.