Linear-time limited automata