Automata and Formal Languages: Examples

Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.

Automata and Formal Languages

This website collects somewhat larger examples that do would swamp the script. Most examples will be shown as slideshows during the lectures as well. Most of the drawings are due to Breno Faria who is hereby acknowledged.

Catalogue

Finite words

conversions between different representations of regular languages
product construction for intersection
epsilon removal
large example combining many operations on NFAs and DFAs
universality
operations on relations
bisimulation
fixed length languages
asynchronous product
monadic second order logic over words
Presburger arithmetic

Infinite words

intersection of Buechi automata