Article

Orthogonal Concatenation: Language Equations and State Complexity

Journal of Universal Computer Science (Impact Factor: 0.47). 01/2010; 16(5):653-675. DOI: 10.3217/jucs-016-05-0653
Source: DBLP

ABSTRACT

A language L is the orthogonal concatenation of languages L 1 and L 2 if every word of L can be written in a unique way as a concatenation of a word in L 1 and a word in L 2 . The notion can be generalized for arbitrary language operations. We consider decidability properties of language orthogonality and the solvability of language equations involving the orthogonal concatenation operation. We establish a tight bound for the state complexity of orthogonal concatenation of regular languages.

Full-text preview

Available from: queensu.ca
  • [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.
    No preview · Conference Paper · Jan 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.
    Preview · Conference Paper · May 2011
  • [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, in other words, 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. (c) 2013 Elsevier B.V. All rights reserved.
    No preview · Article · Jun 2013 · Theoretical Computer Science
Show more