「Metaspråk」をノルウェー語(ブークモール)から日本語に翻訳する

形式体系, メタ言語は、「Metaspråk」をノルウェー語(ブークモール)から日本語に変換したものです。