1,308 research outputs found

    On shuffle products, acyclic automata and piecewise-testable languages

    Full text link
    We show that the shuffle L \unicode{x29E2} F of a piecewise-testable language LL and a finite language FF is piecewise-testable. The proof relies on a classic but little-used automata-theoretic characterization of piecewise-testable languages. We also discuss some mild generalizations of the main result, and provide bounds on the piecewise complexity of L \unicode{x29E2} F
    corecore