{|
L={a^n b^m c^k : k=|m-n
میشه براش ماشین پشته ای تعریف کرد
به ازای هر a یک x در پشته قرار میدیم وقتی به b رسیدیم به ازای هر b یک x از پشته برمیداریم حالا دو حالت ایجاد میشه یا با خوندن تمام b ها هنوز x در پشته داریم که به ازای خوندن هر c یک x از پشته برمیداریم یا وقتی داریم b ها میخونیم هنوز b تموم نشده اما x در پشته تموم شده و به z رسیدیم که در این صورت به ازای هر b که میخونیم یک x در پشته قرار میدیم و وقتی هم به c رسیدیم به ازای هر c یک x از پشته برمیداریم
سلام. میشه این گرامرو نوشت:
[tex]S\to A|B[/tex]
[tex]A\to CD[/tex]
[tex]B\to aBc|C[/tex]
[tex]C\to aCb|\lambda[/tex]
[tex]D\to bDc|\lambda[/tex]