Dynamic_Pushdown_Networks.NDET