ما یک NPDA تعریف میکنیم که در شاخهای اولی را رد میکند و برابری دوتای دیگر را با ریختن دومی در پشته چک میکند. در شاخه دیگر برابری دوتای اول را با ریختن دوتای اول در پشته چک میکند. و سومیها درا رد میکند.