Entangling Effective Procedures: From Logic Machines to Quantum Automata