@Article{         LerouxPraveenSchnoebelenSutre:2019,
  Author        = "Leroux, J. and Praveen, M. and Schnoebelen, Ph. and Sutre, G.",
  Abstract      = "We consider numerical functions weakly computable by grammar-controlled vector addition systems (GVASes, a variant of pushdown Petri nets). GVASes can weakly compute all fast growing functions F {$\alpha$} F\_\alpha for {$\alpha$} < {$\omega$} {$\omega$} \alpha<\omega^\omega , hence they are computationally more powerful than standard vector addition systems. On the other hand they cannot weakly compute the inverses F − 1 {$\alpha$} F\_\alpha^{-1} or indeed any sublinear function. The proof relies on a pumping lemma for runs of GVASes that is of independent interest.",
  date-added    = "2019-04-12 17:17:36 +0200",
  date-modified = "2019-04-12 17:17:36 +0200",
  EPrint        = "1904.04090",
  Month         = "04",
  Title         = "On Functions Weakly Computable by Pushdown Petri Nets and Related Systems",
  URL           = "https://arxiv.org/pdf/1904.04090",
  Year          = "2019",
  bdsk-url-1    = "https://arxiv.org/pdf/1904.04090",
  bdsk-url-2    = "https://arxiv.org/abs/1904.04090",
  File          = "1904.04090 (0) (0) - a - a - t.pdf",
  file-2        = "On Functions Weakly Computable by Pushdown Petri Nets and Related Systems - 1904.04090 - a - a - t.pdf"
}

@Article{ LerouxPraveenSchnoebelenSutre:2019, Author = "Leroux, J. and Praveen, M. and Schnoebelen, Ph. and Sutre, G.", Abstract = "We consider numerical functions weakly computable by grammar-controlled vector addition systems (GVASes, a variant of pushdown Petri nets). GVASes can weakly compute all fast growing functions F {$\alpha$} F_\alpha for {$\alpha$} < {$\omega$} {$\omega$} \alpha<\omega^\omega , hence they are computationally more powerful than standard vector addition systems. On the other hand they cannot weakly compute the inverses F − 1 {$\alpha$} F_\alpha^{-1} or indeed any sublinear function. The proof relies on a pumping lemma for runs of GVASes that is of independent interest.", date-added = "2019-04-12 17:17:36 +0200", date-modified = "2019-04-12 17:17:36 +0200", EPrint = "1904.04090", Month = "04", Title = "On Functions Weakly Computable by Pushdown Petri Nets and Related Systems", URL = "https://arxiv.org/pdf/1904.04090", Year = "2019", bdsk-url-1 = "https://arxiv.org/pdf/1904.04090", bdsk-url-2 = "https://arxiv.org/abs/1904.04090", File = "1904.04090 (0) (0) - a - a - t.pdf", file-2 = "On Functions Weakly Computable by Pushdown Petri Nets and Related Systems - 1904.04090 - a - a - t.pdf" }