stateAcceptingPushdownMachine.h

#pragma once
 
#include <machine/stateAcceptingMachine.h>
#include <machine/PDM/pushdownMachine.h>
 
namespace TuringSim::Machine::PDM {
    template<
            typename TransitionType,
            bool deterministic,
            AcceptingStyle acceptingStyle,
            template<typename...> class TransitionContainer = std::vector,
            template<typename...> class InitialStateContainer = std::set
    >
    using StateAcceptingPushdownMachine =
    StateAcceptingMachine<
            PushdownMachine<
                    TransitionType,
                    deterministic,
                    acceptingStyle,
                    TransitionContainer,
                    InitialStateContainer
            >,
            acceptingStyle>;
}