L = {a ^ i b ^ j c ^ k d ^ l | где l = i -j и i, j, k, l> = 0}
Я пытаюсь нарисовать недетерминированный КПК для этого, но изо всех сил пытаюсь это сделать.
https://imgur.com/a/QBcbyOa
До сих пор мне удавалось нажимать a и вставлять a для каждого b в качестве ввода. Любая помощь?