dfa.h

Go to the documentation of this file.

#ifndef REG_DFA_H
#define REG_DFA_H

#include <memory>

#include <vector>

#include <valarray>

#include <string>

namespace reg {
class nfa;

class dfa {
public:
  class builder;
  dfa();
  dfa(dfa& d);
  dfa(dfa&& d);
  dfa(builder& b);
  dfa& operator=(const dfa& d);
  dfa& operator=(dfa&& d);
  virtual ~dfa ();

  bool operator==(const dfa& d) const;
  bool operator!=(const dfa& d) const;
  size_t delta(size_t q, char32_t symbol) const;
  size_t delta(size_t q, std::string const& utf8Symbol) const;
  size_t deltaHat(size_t q, std::u32string const& word) const;
  size_t deltaHat(size_t q, std::string const& utf8Word) const;
  std::string const& getLabelOf(size_t q) const;
  std::vector<char32_t> const& getAlphabet() const;
  std::vector<std::string> const& getUtf8Alphabet() const;
  size_t getNumberOfStates() const;
  bool isAccepting(size_t q) const;

  class builder {
  public:
    builder ();
    builder (dfa const& dfa);
    builder (nfa const& nfa);
    builder(builder& b);
    builder(builder&& b);
    builder& operator=(const builder& b);
    builder& operator=(builder&& b);
    virtual ~builder ();

    builder& addSymbol(char32_t symbol);
    builder& addSymbol(std::string const& utf8Symbol);
    builder& setAccepting(std::string const& state, bool accept);
    builder& makeInitial(std::string const& state);
    builder& defineTransition(std::string const& from, std::string const& to, char32_t symbol);
    builder& defineTransition(std::string const& from, std::string const& to, std::string const& utf8Symbol);
    builder& merge();
    builder& purge();
    dfa build();
  private:
    struct pImpl;
    std::unique_ptr<pImpl> p;
  };
private:
  struct pImpl;
  std::unique_ptr<pImpl> p;
  dfa(
    std::vector<char32_t>& alphabet,
    std::vector<std::vector<size_t>>& transitions,
    std::vector<std::string>& labels,
    std::valarray<bool>& acceptingStates
  );
};

} // namespace reg
#endif