Now showing items 1-1 of 1

    • Icon

      Matrix Languages, Register Machines, Vector Addition Systems  [Presentation]

      Freund, Rudolf; Ibarra, Óscar H.; Paun, Gheorghe; Yen, Hsu-Chen (Fénix Editora, 2005)
      We give a direct and simple proof of the equality of Parikh images of lan- guages generated by matrix grammars with appearance checking with the sets of vectors generated by register machines. As a particular case, we ...