Orthogonal Concatenation: Language Equations and State Complexity.

J. UCS 01/2010; 16:653-675. DOI: 10.3217/jucs-016-05-0653
Source: DBLP
  • [Show abstract] [Hide abstract]
    ABSTRACT: Concatenation of strings and languages is a fundamental operation on formal languages. Here we consider the inverse operation of language decomposition, where we want to represent a given language as a non-trivial concatenation of two languages. The associated notions of prime languages and prime decompositions have been originally introduced by Mateescu, A. Salomaa and Yu. We consider also extensions of the decomposability problem with respect to orthogonal concatenation, as well as, more general operations defined by sets of trajectories.
    Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday; 01/2011
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Language models that use interleaving, or shuffle, operators have applications in various areas of computer science, including system verification, plan recognition, and natural language processing. We study the complexity of the membership problem for such models, i.e., how difficult it is to determine if a string belongs to a language or not. In particular, we investigate how interleaving can be introduced into models that capture the context-free languages.
    Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings; 01/2011


Available from