Deterministic Finite Automaton

Context-Free Grammar


      

      

      

        S, A, B… Variables
        a, b, 0, 1 Terminals
        → Production
        | OR
        ε Empty string
      

    


    

      

        
Pushdown Automaton

        

          
          
          
          
        

      

      

        

        

          
Input

          

          


          
Current Transition

          

          


          
Stack

          


          
Trace