/*
 * Determinize.h
 *
 *  Created on: 16. 1. 2014
 *	  Author: Jan Vesely
 */

#ifndef DETERMINIZE_H_
#define DETERMINIZE_H_

#include <core/multipleDispatch.hpp>
#include <set>

#include <automaton/Automaton.h>
#include <automaton/AutomatonFeatures.h>

namespace automaton {

namespace determinize {

/**
 * Class for running determinization algorithm on fsm.
 */
class Determinize : public std::SingleDispatch<Determinize, automaton::Automaton, const automaton::AutomatonBase &> {
public:

	/**
	 * @param nfsm nondeterministic final-state machine given for determinization
	 * @return DFA
	 * Runs determinization algorithm on nondeterministic fsm given in constructor.
	 */
	static automaton::Automaton determinize(const automaton::Automaton& nfa);

	static automaton::DFA<> determinize(const automaton::DFA<>& nfa);
	static automaton::DFA<> determinize(const automaton::NFA < > & nfa);
	static automaton::DFA<> determinize(const automaton::MultiInitialStateNFA < > & nfa);
	static automaton::DPDA < > determinize(const automaton::DPDA < > & dpda);
	static automaton::DPDA < > determinize(const automaton::NPDA < > & dpda);
	static automaton::SinglePopDPDA determinize(const automaton::SinglePopDPDA& dpda);
	static automaton::VisiblyPushdownDPDA determinize(const automaton::VisiblyPushdownDPDA& nondeterministic);
	static automaton::VisiblyPushdownDPDA determinize(const automaton::VisiblyPushdownNPDA& nondeterministic);
	static automaton::InputDrivenDPDA < > determinize(const automaton::InputDrivenDPDA < > & nfa);
	static automaton::InputDrivenDPDA < > determinize(const automaton::InputDrivenNPDA < > & nfa);
	static automaton::RealTimeHeightDeterministicDPDA determinize(const automaton::RealTimeHeightDeterministicDPDA& nondeterministic);
	static automaton::RealTimeHeightDeterministicDPDA determinize(const automaton::RealTimeHeightDeterministicNPDA& nondeterministic);
	static automaton::DFTA determinize(const automaton::DFTA& nfta);
	static automaton::DFTA determinize(const automaton::NFTA& nfta);

	static automaton::OneTapeDTM<> determinize(const automaton::OneTapeDTM<>& nfta);
};

} /* namespace determinize */

} /* namespace automaton */

#endif /* DETERMINIZE_H_ */