Theory of Computation (2022)


      GNF

      CFG-PDAconversionAlgo

      PLforCFLs

      ClosureUnderInverseHomomorphismCFL

      TMconstruction