左線形項書換えシステムの合流条件について
スポンサーリンク
概要
- 論文の詳細を見る
左線形TRSの合流性については活溌に研究され、その合流条件がいくつか提案されている。合流性の判定には、書換え規則の重なりから作られる危険対がもちいられる。Huetは危険対が並列書換えで合流する条件を提案した。外山は重なりの状況を場合分けし、Huetの合流条件を拡張した。さらに、OostromはHuetと外山の合流条件を展開書換えをもちいて拡張した。また、外山や奥居は危険対を拡張した合流条件を提案している。本研究では、危険対を拡張せず、危険対の書換えポジションを制約する新しい合流条件を示す。さらに、新しい合流条件を従来の合流条件と比較する。
- 1999-12-10
論文 | ランダム
- 正社員の過重労働と非正規労働者のワーキングプア化 (特集 もう逃げだせない。ブラック企業) -- (「ブラック会社」で働く若者たち--周辺的正社員の明日)
- 「ブラック会社」で働く若者たち--周辺的正社員の明日 (特集 もう逃げだせない。ブラック企業)
- 放射線治療の現場をかえる外部照射の進歩
- 脊椎 (特集 腫瘍との鑑別が必要な骨軟部疾患)
- 頭部顔面外傷