نظریه رایانش‌پذیری - زبان‌های دیگر