زبانی برای تعریف گرامر و معناشناسی زبان‌های برنامه‌نویسی.