Язык {0 ^ n1 ^ n | n ≥ 0} является NP-полным. Я знаю, чтобы проверить, является ли что-то NP-полным, оно должно быть сведено к языку, который, как вы уже знаете, является NP-полным (например, SAT). Но я не уверен, как это доказать с помощью этого языка