The Automata Library

Version 0.3, March 6th, 2000

H.Leiß, CIS, Universität München

Table of Contents

Introduction

Utilities

• The Set structure
• The LABEL signature
• The NAMES signature

Kleenean Algebras

• The KA signature
• The RegMod functor
• The kaMatrix functor
• The Reg structure
• The pkaMatrix functor
• The RegMat structure

Regular Expressions and Finite Automata

• The RegExp structure
• The Fm structure
• The RegExpFm structure
• The REGEXP_WEAK signature
• The PPFM signature
• The ppRegExp functor
• The ppFm functor
• The ppRegExpFm functor

Counter Automata and Pattern Matchers

• The ppCFm functor
• The simpleKMPautomaton functor
• The KMPautomaton functor
• The ppMatcher functor

Transducers

• The Transducer structure
• The ppTransducer functor

Regular Recursion Equations and EBNF-Grammars

• The RegEqns structure
• The Grammars structure
• The ppRegEqns functor
• The RegEqnsFm structure (preliminary)
• The RegEqnsFm functor (preliminary)
• The ppRegEqnsFm functor (preliminary)

Last Modified: March 7th, 2000
Comments to Hans Leiß.
Copyright © 2000 Hans Leiß, Universität München