formální jazyk

IPA（発音記号）

名詞

男性形

形式的に定義された記号列の集合。論理学やコンピュータサイエンスで扱う「形式言語」 / 厳密な構文規則に従う人工的な言語体系

英語の意味

formal language (logic, computer science)

Při formulaci abstraktního problému se vědci rozhodli použít formální jazyk, aby zajistili přesnost definic.

抽象的な問題を定式化する際、科学者たちは定義の正確さを保証するために形式言語を使用することに決めました。

When formulating an abstract problem, scientists decided to use formal language to ensure the precision of definitions.