pushdown-automaton - この言語のプッシュダウン オートマトンを見つけます L={A^i B^j C^k | 2k <= i <= 3k OR j != (i+k) } 1 つのスタック

Question

複数のスタックまたは集合論の交差点でしか想像できないため、オートマトンを見つけることができません。