Telecharger Cours

Signature redacted - DSpace@MIT

Abstract. The equivalence problem for deterministic real-time pushdown automata is shown to be decidable. This result is obtained by showing that Valiant's ...



Download