Documentation

Theoretical background on the models in this workbench can be found in the readers for the course 5xie0, computational modeling.

Note that the readers are only accessible when you are logged in to the web page.

Readers (2021 version)

The most up-to-date course lecture notes can be found on the 5XIE0 Canvas page.

• Module A: Languages (Automata, Regular Expressions, Temporal Logic)
  Reader: 5xie0-reader-PartA-appendices.pdf

Documentation Pages

The workbench provides tools and algorithms related to three domains of models-of-computation

Select one of the following topics for more information.

• Introduction
• Syntax
• Languages
• Markov Chains
• Max-plus-linear Systems
• Workbench