世界大百科事典（旧版）内の推論規則の言及
【形式言語】より
…このシステムは記号論理の推論系を形式化したもので，3項組T＝(Σ，Ρ，α)で与えられる。ここに，αは公理といわれる一つの語，Ρはプロダクションと呼ばれる推論規則の集合，Σは公理とプロダクションに現れる文字の集合，つまりTのアルファベットである。実例を作ってみよう。…
※「推論規則」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
Sponserd by 
…このシステムは記号論理の推論系を形式化したもので，3項組T＝(Σ，Ρ，α)で与えられる。ここに，αは公理といわれる一つの語，Ρはプロダクションと呼ばれる推論規則の集合，Σは公理とプロダクションに現れる文字の集合，つまりTのアルファベットである。実例を作ってみよう。…
※「推論規則」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
Sponserd by