die formale Sprache

در منطق، ریاضیات و علوم کامپیوتر، سیستمی از نمادها و قواعد مشخص که برای نمایش دقیق مفاهیم و استدلال‌ها بدون ابهام به کار می‌رود.

• Eine formale Sprache hat eine exakt definierte Syntax und Semantik.یک زبان صوری دارای نحو و معناشناسی دقیقی است.
• Programmiersprachen sind Beispiele für eine formale Sprache.زبان‌های برنامه‌نویسی نمونه‌هایی از یک زبان صوری هستند.
• Die Theorie der formalen Sprache ist ein wichtiger Bereich der Informatik.نظریه زبان صوری یک حوزه مهم در علوم کامپیوتر است.