On the equivalence of linear conjunctive grammars and trellis automata Alexander Okhotin RAIRO-Theor. Inf. Appl., 38 1 (2004) 69-88 Published online: 15 March 2004 DOI: 10.1051/ita:2004004