@Article{         AtigChistikovHofmanKumarSaivasanZetzsche,
  Author        = "Atig, Mohamed Faouzi and Chistikov, Dmitry and Hofman, Piotr and Kumar, K Narayan and Saivasan, Prakash and Zetzsche, Georg",
  Abstract      = "We study the computational and descriptional complexity of the following transformation: Given a one-counter automaton (OCA) A, construct a nondeterministic finite automaton (NFA) B that recognizes an abstraction of the language L(A): its (1) downward closure, (2) upward closure, or (3) Parikh image.",
  date-added    = "2016-02-29 11:08:18 +0000",
  date-modified = "2016-02-29 11:34:02 +0000",
  EPrint        = "1602.03419",
  Keywords      = "downward closures and complexity",
  Month         = "02",
  Title         = "Complexity of regular abstractions of one-counter languages",
  URL           = "http://arxiv.org/abs/1602.03419",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1602.03419",
  File          = "Complexity of regular abstractions of one-counter languages - Atig, Chistikov, Hofman, Kumar, Saivasan, Zetzsche (1) (0) - a - a - q.pdf",
  file-2        = "Complexity of regular abstractions of one-counter languages - Atig, Chistikov, Hofman, Kumar, Saivasan, Zetzsche (0) (0) - a - a - q.pdf"
}

@Article{ AtigChistikovHofmanKumarSaivasanZetzsche, Author = "Atig, Mohamed Faouzi and Chistikov, Dmitry and Hofman, Piotr and Kumar, K Narayan and Saivasan, Prakash and Zetzsche, Georg", Abstract = "We study the computational and descriptional complexity of the following transformation: Given a one-counter automaton (OCA) A, construct a nondeterministic finite automaton (NFA) B that recognizes an abstraction of the language L(A): its (1) downward closure, (2) upward closure, or (3) Parikh image.", date-added = "2016-02-29 11:08:18 +0000", date-modified = "2016-02-29 11:34:02 +0000", EPrint = "1602.03419", Keywords = "downward closures and complexity", Month = "02", Title = "Complexity of regular abstractions of one-counter languages", URL = "http://arxiv.org/abs/1602.03419", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1602.03419", File = "Complexity of regular abstractions of one-counter languages - Atig, Chistikov, Hofman, Kumar, Saivasan, Zetzsche (1) (0) - a - a - q.pdf", file-2 = "Complexity of regular abstractions of one-counter languages - Atig, Chistikov, Hofman, Kumar, Saivasan, Zetzsche (0) (0) - a - a - q.pdf" }