Skip to main content
added 472 characters in body
Source Link

Parikh Automata are equivalent to RBCM in their nondeterministic variant. It is known thatLetting $L$ be the complementcomplement of the language of palindromescopies $\{ww \mid w \in \{a, b\}^*\}$, you get your statement. First, it is not recognizableindeed recognized by a Parikh automaton. ThisNCM — as is shown in the extended versioncomplement of the paper introducinglanguage of palindromes. The NCM simply ensures that two positions in the modelinput word chosen non deterministically hold different letters, and checks that they are separated by Klaedtkeexactly half the length of the input.

Now Parikh Automata were introduced by Klaedkte and Rueß in ICALP'03. The technical report version, available (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.8019)on Klaedkte's webpage, states the equivalence of Parikh Automata and NCM as Theorem 29 and 31.

Relying on a combinatorial argument, they show that the complement of $L$ is not recognizable by a Parikh automaton, Lemma 26. Further techniqueslemmata have been developed to show that some languages are outside this class (we present a few in this journal paper).

Parikh Automata are equivalent to RBCM in their nondeterministic variant. It is known that the complement of the language of palindromes is not recognizable by a Parikh automaton. This is shown in the extended version of the paper introducing the model, by Klaedtke and Rueß (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.8019). Further techniques have been developed to show that some languages are outside this class (we present a few in this journal paper).

Letting $L$ be the complement of the language of copies $\{ww \mid w \in \{a, b\}^*\}$, you get your statement. First, it is indeed recognized by a NCM — as is the complement of the language of palindromes. The NCM simply ensures that two positions in the input word chosen non deterministically hold different letters, and checks that they are separated by exactly half the length of the input.

Now Parikh Automata were introduced by Klaedkte and Rueß in ICALP'03. The technical report version, available on Klaedkte's webpage, states the equivalence of Parikh Automata and NCM as Theorem 29 and 31.

Relying on a combinatorial argument, they show that the complement of $L$ is not recognizable by a Parikh automaton, Lemma 26. Further lemmata have been developed to show that some languages are outside this class (we present a few in this journal paper).

Source Link

Parikh Automata are equivalent to RBCM in their nondeterministic variant. It is known that the complement of the language of palindromes is not recognizable by a Parikh automaton. This is shown in the extended version of the paper introducing the model, by Klaedtke and Rueß (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.8019). Further techniques have been developed to show that some languages are outside this class (we present a few in this journal paper).