世界大百科事典（旧版）内の準シューシステムの言及
【形式言語】より
…Lのある要素Lxの任意の要素(語)を生成する規則が，Lxの形式文法(以下文法という)である。 言語を生成するシステムの例として，準シューシステムsemi-Thue systemと呼ばれる形成システムを示しておこう。このシステムは記号論理の推論系を形式化したもので，3項組T＝(Σ，Ρ，α)で与えられる。…
※「準シューシステム」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
Sponsored by 