۰
subtitle
ارسال: #۱
تشخیص مستقل از متن بودن
سلام سال ۸۹ این زبان اومده و مستقل از متن اعلام شده
شاید میخواد بگه WWr رو لاندا فرض کنیم و رشته رو همون anbn . البته اینا همه فرضیات منه و شاد اشتباه
حالا من میگم رشته aaa abba bbb رو زبان اصلی میتونه بپذیره ولی این زبان جدید نه
و اما زبان:
anWWRbn:W∈(ab)star
شاید میخواد بگه WWr رو لاندا فرض کنیم و رشته رو همون anbn . البته اینا همه فرضیات منه و شاد اشتباه
حالا من میگم رشته aaa abba bbb رو زبان اصلی میتونه بپذیره ولی این زبان جدید نه
و اما زبان:
anWWRbn:W∈(ab)star