@Article{         Kopczynskia,
  Author        = "Kopczynski, Eryk",
  Abstract      = "We consider commutative regular and context-free grammars, or, in other words, Parikh images of regular and context-free languages. By using linear algebra and a branching analog of the classic Euler theorem, we show that, under an assumption that the terminal alphabet is fixed, the membership problem for regular grammars (given v in binary and a regular commutative grammar G, does G generate v?) is P, and that the equivalence problem for context free grammars (do G\_1 and G\_2 generate the same language?) is in $\mathrm{\Pi\_2^P}$.",
  date-added    = "2016-01-25 10:37:29 +0000",
  date-modified = "2016-01-25 10:37:29 +0000",
  EPrint        = "1501.04245",
  Month         = "01",
  Title         = "Complexity of Problems of Commutative Grammars",
  URL           = "http://arxiv.org/abs/1501.04245",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1501.04245",
  File          = "Complexity of Problems of Commutative Grammars - Kopczynski (0) (0) - a - a - k.pdf"
}

@Article{ Kopczynskia, Author = "Kopczynski, Eryk", Abstract = "We consider commutative regular and context-free grammars, or, in other words, Parikh images of regular and context-free languages. By using linear algebra and a branching analog of the classic Euler theorem, we show that, under an assumption that the terminal alphabet is fixed, the membership problem for regular grammars (given v in binary and a regular commutative grammar G, does G generate v?) is P, and that the equivalence problem for context free grammars (do G_1 and G_2 generate the same language?) is in $\mathrm{\Pi_2^P}$.", date-added = "2016-01-25 10:37:29 +0000", date-modified = "2016-01-25 10:37:29 +0000", EPrint = "1501.04245", Month = "01", Title = "Complexity of Problems of Commutative Grammars", URL = "http://arxiv.org/abs/1501.04245", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1501.04245", File = "Complexity of Problems of Commutative Grammars - Kopczynski (0) (0) - a - a - k.pdf" }