Buscar
Mostrando ítems 1-1 de 1
Ponencia
Matrix Languages, Register Machines, Vector Addition Systems
(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 ...