Next:
Introduction
Generic programming on automata in C++
ASTL
Automaton Standard Template Library
Alpha Version
Vincent Le Maout
lemaout@univ-mlv.fr
December 9, 1997
Introduction
Notations
Structure of the Library
Automaton Representations
Matrix
Adjacency list by maps
Single vector (compact representation)
Hashing table
Arrays
Lookup by Binary Search
Linear Search : the Move-To-Front Method
Linear Search : the Transpose Method
Representing the subsets
I
,
F
of
Q
Complexity values
Notations
The Deterministic Automaton Classes
Files
Data Types
User-defined Data Types
Exported types
Iterator:
Edges:
Interface for DFAs
Warning
Remarks
The algorithms
References
Basic Examples
Declarations
Declaration of a DFA
Declaration of an adapter
Basic Algorithms
Iteration on
Q
Warning
Iteration on
Warning
Remark
Iteration on the outgoing transitions of a state
Remark
Applying algorithms
About this document ...
Vincent Lemaout
12/9/1997