به ازاء هر زبان مستقل از متن L یک NPDA بنام M هست بطوریکه
[tex]L = L(M)[/tex]
اینجا [tex]L = L(M)[/tex] یعنی چه؟
(۰۸ مهر ۱۳۹۰ ۰۲:۲۸ ق.ظ)پشتکار نوشته شده توسط: به ازاء هر زبان مستقل از متن L یک NPDA بنام M هست بطوریکه
[tex]L = L(M)[/tex]
اینجا [tex]L = L(M)[/tex] یعنی چه؟
L(M) یعنی زبونی که اون اتوماتا تعریف می کنه .
یعنی به ازای هر زبون یه npda وجود داره که با هم برابر باشن .