نباید مفهوم تهی را با مفهوم لاندا اشتباه کرد


واضحه که استار هر زبانی لاندا داره چرا چون [tex]L^{\ast}=L^0\cup L^1\cup L^2\cup....[/tex] که برای هر زبانی اون [tex]L^0=\lambda[/tex] است پس استار هر زبانی لاندا داره ( حالا می خواد اون زبان تهی باسه می خواد نباشه) (پس [tex](L^{\smile})^{\ast}[/tex] هر زبانی هم لاندا داره)
[tex]\lambda\in L^{\ast}\: \longrightarrow\: \lambda\notin(L^{\ast})^{\smile}[/tex]
پس زبان ما هر چی که میخواد باشه (تهی- متناهی - نامنناهی یا ....) به ازای هر زبان ما یه عضو لاندا پیدا می کنیم که تو [tex](L^{\smile})^{\ast}[/tex] زبان هست اما تو [tex](L^{\ast})^{\smile}[/tex] نیست (وقتی یه عضو داریم که تو یه مجموعه هست و تو یکی دیگه نیست یعنی این دو مجموعه با هم برابرنیستند ) پس این دو مجموعه به ازای هیچ زبانی برقرار نیستند (حتی تهی یا مجموعه ی تک عضوی لاندا)