世界大百科事典（旧版）内の推論規則の言及
【形式言語】より
…このシステムは記号論理の推論系を形式化したもので，3項組T＝(Σ，Ρ，α)で与えられる。ここに，αは公理といわれる一つの語，Ρはプロダクションと呼ばれる推論規則の集合，Σは公理とプロダクションに現れる文字の集合，つまりTのアルファベットである。実例を作ってみよう。…
※「推論規則」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
Sponserd by 
企業の退職を希望する従業員本人に代わって退職に必要な手続きを代行するサービス。依頼者と会社の間に入ることで円滑な退職をサポートするとともに、会社への連絡などを代わりに行うことで依頼者の心理的負担を軽減...