(۰۸ مهر ۱۳۹۰ ۰۲:۲۸ ق.ظ)پشتکار نوشته شده توسط:  به ازاء هر زبان مستقل از متن L یک NPDA بنام M هست بطوریکه
$L = L(M)$

اینجا $L = L(M)$ یعنی چه؟

L(M) یعنی زبونی که اون اتوماتا تعریف می کنه .
یعنی به ازای هر زبون یه npda وجود داره که با هم برابر باشن .