構成規則

ウィキペディア

構成規則

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/21 06:49 UTC 版)

数理論理学における構成規則（こうせいきそく、英: Formation rule）もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則で言及されるのは記号列の配置や操作といった統語論的対象のみであり、従って式の解釈を定めるに先立って定義されている（形式文法も参照）。

ウィキペディア小見出し辞書

構成規則

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/15 10:26 UTC 版)

「超現実数」の記事における「構成規則」の解説

形式 {L | R} が数値的（数的）であるとは、L と R に交わりが無く、かつ R の各元が L の任意の元よりも真に大きいときに言う。ただし、大小関係は後で述べる順序 ≤ の意味で言う。