State complexity of permutation on finite languages over a binary alphabet

Da Jung Cho, Daniel Goč, Yo Sub Han, Sang Ki Ko, Alexandros Palioudakis, Kai Salomaa

Research output: Contribution to journalArticle

2 Citations (Scopus)


The set of all strings Parikh equivalent to a string in a language L is called the permutation of L. The permutation of a finite n-state DFA (deterministic finite automaton) language over a binary alphabet can be recognized by a DFA with [formula presented] states. We show that if the language consists of equal length binary strings the bound can be improved to f(n)=[formula presented] and for every n congruent to 1 modulo 3 there exists an n-state DFA A recognizing a set of equal length strings such that the minimal DFA for the permutation of L(A) needs f(n) states.

Original languageEnglish
Pages (from-to)67-78
Number of pages12
JournalTheoretical Computer Science
Publication statusPublished - 2017 Jun 19

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'State complexity of permutation on finite languages over a binary alphabet'. Together they form a unique fingerprint.

  • Cite this