نظریه تخمین - زبان‌های دیگر