A progarmming language for two-way deterministic pushdown automata with write once read many tracks (WORM-2DPDAs)