@Article{         ClementeCzerwinskiLasotaPaperman:Parikh:ArXiv:2016,
  Author        = "Clemente, Lorenzo and Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir and Paperman, Charles",
  Abstract      = "We investigate a subclass of languages recognized by vector addition systems, namely languages of nondeterministic Parikh automata. While the regularity problem (is the language of a given automaton regular?) is undecidable for this model, we show surprising decidability of the regular separability problem: given two Parikh automata, is there a regular language that contains one of them and is disjoint from the other?",
  date-added    = "2017-04-06 15:21:25 +0000",
  date-modified = "2020-05-07 07:21:17 +0200",
  EPrint        = "1612.06233",
  Month         = "12",
  Title         = "Regular Separability of {Parikh} Automata",
  URL           = "https://arxiv.org/abs/1612.06233",
  Year          = "2016",
  bdsk-url-1    = "https://arxiv.org/abs/1612.06233",
  File          = "1612.06233 (0) - a - a - k.pdf"
}

@Article{ ClementeCzerwinskiLasotaPaperman:Parikh:ArXiv:2016, Author = "Clemente, Lorenzo and Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir and Paperman, Charles", Abstract = "We investigate a subclass of languages recognized by vector addition systems, namely languages of nondeterministic Parikh automata. While the regularity problem (is the language of a given automaton regular?) is undecidable for this model, we show surprising decidability of the regular separability problem: given two Parikh automata, is there a regular language that contains one of them and is disjoint from the other?", date-added = "2017-04-06 15:21:25 +0000", date-modified = "2020-05-07 07:21:17 +0200", EPrint = "1612.06233", Month = "12", Title = "Regular Separability of {Parikh} Automata", URL = "https://arxiv.org/abs/1612.06233", Year = "2016", bdsk-url-1 = "https://arxiv.org/abs/1612.06233", File = "1612.06233 (0) - a - a - k.pdf" }