---

mkdfa.h

Go to the documentation of this file.

#ifndef FSM_DFA_H
#define FSM_DFA_H
// $Id: mkdfa.h,v 1.6 2001/08/18 14:22:50 dvermeir Exp $

#include <vector>
#include <iostream>

#include "fsm.h"


class DfaMaker {
public:

  DfaMaker(const Fsm& fsm, ostream *debug=0);

  ref<Fsm> mkdfa();

  static Fsm::State mkstate(int i);

private:

  Fsm::STATES& delta(const Fsm::STATES& Q, 
                     const Fsm::Symbol& a, Fsm::STATES& R);

  Fsm::STATES& closure(Fsm::STATES& Q) const;

  bool is_final(const Fsm::STATES& Q) const;

  const Fsm&    fsm_;
  ostream*      debug_;
};

#endif

---

FSM [ August, 2001]