Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - The Theory of Finite-State Adventures


Wilfried Brauer, Markus Holzer, Barbara König, and Stefan Schwoon. The theory of finite-state adventures. EATCS Bulletin, 79:230–237, February 2003.


The study of finite-state adventures, abbreviated by FSA, is a topic that has, despite its origins that can be traced back to medieval times, been neglected in the relevant literature. We attempt to close this gap and give a full account of a five-level hierarchy of finite-state adventures.

Suggested BibTeX entry:

    author = {Wilfried Brauer and Markus Holzer and Barbara K{\"o}nig and Stefan Schwoon},
    journal = {EATCS Bulletin},
    month = {February},
    pages = {230--237},
    title = {The Theory of Finite-State Adventures},
    volume = {79},
    year = {2003}

PDF (218 kB)