نظریه بی‌سی‌اس - زبان‌های دیگر