Когда мы говорим об автомате (PDA), существует два типа PDA: dpda и npda. Теперь давайте просто посмотрим на вопрос, который он говорит: a ^ nb ^ ma ^ 2m, где n, m> = 1.
Теперь термин a ^ n не окажет никакого влияния на b ^ ma ^ 2m потому что n и m не зависят друг от друга. Так что этот вопрос просто разбить на КПК с b ^ ma ^ 2m, потому что только этому термину потребуется стек, чтобы мы могли сбалансировать каждое «b» с 2 «a». Теперь, поскольку точки перехода понятны, следовательно, это DPDA.
КПК для данной задачи будет выглядеть так: 
Где 'z' является начальным символ стека и '^' равен нулю, а x, y / z означает, что если входной символ равен x, а вершиной стека является y, то заменить вершину стека на z. Надеюсь, этот ответ поможет.