準シューシステム（読み）じゅんしゅーしすてむ

世界大百科事典（旧版）内の準シューシステムの言及

【形式言語】より

…Lのある要素L_xの任意の要素(語)を生成する規則が，L_xの形式文法(以下文法という)である。　言語を生成するシステムの例として，準シューシステムsemi-Thue systemと呼ばれる形成システムを示しておこう。このシステムは記号論理の推論系を形式化したもので，3項組T＝(Σ，Ρ，α)で与えられる。…

※「準シューシステム」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」