式言語の定義は?