1 //////////////////////////////////////////////////////////////////////////////
4 // ADLib, Prop and their related set of tools and documentation are in the
5 // public domain. The author(s) of this software reserve no copyrights on
6 // the source code and any code generated using the tools. You are encouraged
7 // to use ADLib and Prop to develop software, in both academic and commercial
8 // settings, and are free to incorporate any part of ADLib and Prop into
11 // Although you are under no obligation to do so, we strongly recommend that
12 // you give away all software developed using our tools.
14 // We also ask that credit be given to us when ADLib and/or Prop are used in
15 // your programs, and that this notice be preserved intact in all the source
18 // This software is still under development and we welcome any suggestions
19 // and help from the users.
23 //////////////////////////////////////////////////////////////////////////////
25 #ifndef prop_deterministic_finite_automata_h
26 #define prop_deterministic_finite_automata_h
28 #include <AD/automata/nfa.h>
30 class DFA
: public NFA
{
32 DFA(const DFA
&); // no copy constructor
33 void operator = (const DFA
&); // no assignment
37 ///////////////////////////////////////////////////////////////////////////
38 // Import inherited types
39 ///////////////////////////////////////////////////////////////////////////
41 typedef Super::Symbol Symbol
;
42 typedef Super::State State
;
43 typedef Super::PState PState
;
47 ///////////////////////////////////////////////////////////////////////////
48 // Constructors and destructor
49 ///////////////////////////////////////////////////////////////////////////
50 DFA(Symbol min
, Symbol max
);
54 ///////////////////////////////////////////////////////////////////////////
56 ///////////////////////////////////////////////////////////////////////////
58 ///////////////////////////////////////////////////////////////////////////
60 ///////////////////////////////////////////////////////////////////////////
61 virtual void add(State s
, int fan_out
, const Symbol
[], const State
[]);
62 virtual void minimize_dfa();