Deterministic CFL's are accepted simultaneously in polynomial time and log squared space | Synapse