Узнав об этом для одного из моих классовДля любого языка L над Е *, L * L * = L *
Для каждого языка L над Е *, L * L * = L *
Это правда или ложь?
Я чувствую, что это неверно, потому что, когда вы объединяете два языка, размер элементов больше, чем любой из конкатенированных языков. Думаю ли я об этом правильно?
Нет, вы не думаете об этом правильно. Сначала ваши интуиции сначала сбиты с пути. В этом случае только потому, что формула больше не означает, что множество больше.
Предположим, что L = a.
Итак, какие члены L *? Λ, a, aa, aaa и т. Д.
Что представляют собой элементы L * L *, которые равны a * a *? Λ, a, aa, aaa и т. Д.
Вы можете видеть, что в этом случае они одинаковы. Можете ли вы придумать любой случай, когда член L * L * не является также членом L *? (Подсказка: нет, почему бы и нет?)
Спасибо за разъяснение. Это также помогло мне прийти к ответу: Пусть w∈L * L *. Это подразумевает [...] и, следовательно, w∈L * Пусть w∈L *. Это подразумевает [...] и, следовательно, w∈L * L * – HeinricheBerry
Yup, это отличный способ построить аргумент. –
«Когда вы объединяете два языка, размер элементов больше, чем любой из конкатенированных языков» - вы говорите так, как все элементы языка имеют один и тот же размер. – user2357112
Я голосую, чтобы закрыть этот вопрос как не по теме, потому что это принадлежит на cs.stackexchange.com. – Barmar
ОК, да, я вижу вашу точку зрения, вы правы, я думал о alphebet – HeinricheBerry