This language is known to be undecidable.
この言語は決定不可能であることが知られている。