Concatenation of inputs in a two-way automaton

From MaRDI portal
Publication:1115636