The Automata Library

Version 0.3, March 6th, 2000

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


Table of Contents

Introduction

Utilities

Kleenean Algebras

Regular Expressions and Finite Automata

Counter Automata and Pattern Matchers

Transducers

Regular Recursion Equations and EBNF-Grammars


[ INDEX | TOP | Parent | Root ]

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