1
Bangun PDA untuk komplemen dari
Saya bertanya-tanya apakah ini bahkan mungkin, karena {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Oleh karena itu PDA yang dapat membedakan kata w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} dari sisa {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} mungkin juga menerimanya, yang kedengarannya bertentangan dengan saya. Saya kira saya perlu mengambil keuntungan dari …