Prime languages

Orna Kupferman, Jonathan Mosheiff

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Abstract

We say that a deterministic finite automaton (DFA) A is composite if there are DFAs A1,...,At such that L(A) = ∩i=1t L(Ai) and the index of every Ai is strictly smaller than the index of A. Otherwise, A is prime. We study the problem of deciding whether a given DFA is composite, the number of DFAs required in a decomposition, decompositions that are based on abstractions, methods to prove primality, and structural properties of DFAs that make the problem simpler or are retained in a decomposition. We also provide an algebraic view of the problem and demonstrate its usefulness for the special case of permutation DFAs.

Original languageEnglish
Pages (from-to)90-107
Number of pages18
JournalInformation and Computation
Volume240
DOIs
StatePublished - 1 Jan 2015
Externally publishedYes

Keywords

  • DFA decomposition
  • Deterministic finite automaton (DFA)
  • Prime DFA
  • Prime regular languages
  • Regular languages

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint

Dive into the research topics of 'Prime languages'. Together they form a unique fingerprint.

Cite this