Characterizations of Pushdown Machines in Terms of Time-Bounded Computers | Synapse