On shuffle products, acyclic automata and piecewise-testable languages - Archive ouverte HAL
Article Dans Une Revue Information Processing Letters Année : 2019

On shuffle products, acyclic automata and piecewise-testable languages

Résumé

We show that the shuffle $L\unicode{x29E2} F$ of a piecewise-testable language $L$ and a finite language $F$ 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$."

Dates et versions

hal-02408648 , version 1 (13-12-2019)

Identifiants

Citer

S. Halfon, Ph. Schnoebelen. On shuffle products, acyclic automata and piecewise-testable languages. Information Processing Letters, 2019, 145, pp.68-73. ⟨10.1016/j.ipl.2019.01.012⟩. ⟨hal-02408648⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

More