определить обычный язык - PullRequest
       9

определить обычный язык

0 голосов
/ 23 октября 2011

Я совершенно заблудился в идентификации обычного языка.

Я знаю, что если R - обычный язык, то если A = RR, так как это конкатенация R, следовательно, A - это обычный язык

Но есть B = {ww |w <- R} обычный?</p>

Мой первый инстинкт был да.Потому что это также конкатенация R .. Но так как это подмножество конкатенации, я чувствую, что не могу доказать это таким образом.Тогда я подумал, поскольку w - это строка обычного языка, которая представляет собой конкатенацию синглетонов, а затем их конкатенацию ... Я понял, что я совершенно не в курсе, поскольку, если так думать, то что нет?теперь я более склонен сказать, что это не так.Потому что я действительно не могу найти регулярное выражение для этого.Я хотел попробовать использовать лемму прокачки, но это действительно трудно применить к этому примеру.

Может кто-нибудь предложить что-нибудь посоветовать?даже правильный путь для меня будет отличным?

1 Ответ

3 голосов
/ 23 октября 2011

Продолжайте и попробуйте лемму прокачки. Начните с очень простого регулярного выражения, например:

R = ab*

Поскольку в этот момент вы пытаетесь доказать, что это не регулярно, все, что вам нужно, это один контрпример. Таким образом, вы можете выбрать любой R , какой пожелаете. (Выше будет хорошо работать.)

...