def __init__(self, input_pda_a, input_dfa_b, alphabet):
        """
        Args:
            input_pda_a (PDA): The input PDA
            input_dfa_b (DFA): The input pyfst DFA
        Returns:
            None
        """
        self.mma = input_pda_a
        self.mmb = None
        if input_dfa_b:
            self.mmb = input_dfa_b.copy()
        self.mmc = None
        self.alphabet = alphabet
def __init__ ( self , input_pda_a , input_dfa_b , alphabet ) : self . mma = input_pda_a self . mmb = None if input_dfa_b : self . mmb = input_dfa_b . copy ( ) self . mmc = None self . alphabet = alphabet
Args:
            input_pda_a (PDA): The input PDA
            input_dfa_b (DFA): The input pyfst DFA
        Returns:
            None