如何构建一个自动下推L={w∈{a、b}*|w并不等于二十^R对于一些x∈{a、b}*}?

我假定你想一个不确定性的推动下自动机。 我不认为这是可行的，有一个确定性的PDA。

这听起来像家庭作业问题，因此我只要得到一个一般的概要:

你基本上是猜测，该中心弦。 你的推动因素到叠，直到在某些点上你的猜测，你已经达到了中心弦。 你然后开始比较你的输入到的元素，你突然离开。 你失败，如果他们不相匹配。 你成功了如果你到达终点的输入完全一样堆是空的。