روش‌های صوری - زبان‌های دیگر