Я знаю, что {a^i b^j | i = j } не является регулярным, и я могу доказать это с помощью леммы о накачке; аналогичным образом я могу использовать лемму о накачке, чтобы доказать, что и эта лемма не является регулярной. Но я думаю, что вижу...

Я только начал читать о лемме о накачке и знаю, как провести несколько доказательств, в основном от противного. Это только этот конкретный вопрос, на который я, кажется, не нахожу ответа. Я понятия не имею, с чего начать. Я могу предположить, что...

Хотя это выражение принимается детерминированной конечной автоматизацией, но если мы применяем лемму о накачке к этому выражению, лемма о накачке не работает, также это выражение имеет конечные состояния, но не останавливается и не работает...

Доказательство того, что a ^ n b ^ n, n> = 0, нерегулярно. Используя строку a ^ p b ^ p. Каждый пример, который я видел, утверждает, что y может содержать буквы a, b или и то, и другое. Но я не понимаю, как y может содержать что-либо, кроме a,...

L = {а ^ п б с ^ п | i больше 1 и меньше 100, n больше 1} Я думаю, что неправильно понял лемму о прокачке для cfl. почему я не могу выбрать слово z = a ^ ncb ^ n, а затем разбить его на u = a ^ sv = a ^ ns w = epsilon x = b, y = b ^ n, затем...