A Fast Algorithm for Checking the Inclusion for Very Simple Deterministic Pushdown Automata