Translation of Separable Systems into the Lambda Calculus

분리 시스템의 람다 계산법으로의 변환

  • 변석우 (경성대학교 컴퓨터정보학부)
  • Published : 2008.04.15

Abstract

This research presents an translation technique of encoding rewrite rules with patterns into the lambda calculus. We show, following the theory of Böhm separability, rewrite rules with distinctive patterns, called separable systems, can be translated into the lambda calculus. Moreover, according to the property of Böhm equivalence classes, we can also encode rewrite systems with default rules, which allows to interpret some of 'undefined' terms of TRSs as an identified lambda term.

본 연구에서는 패턴을 갖는 항 개서 체계(TRS, Term Rewriting Systems)의 룰을 람다 계산법으로 코딩하는 변환 방법을 제시한다. Böhm의 분리성 이론에 따라 차별화된 룰 패턴을 갖는 분리 시스템은 람다 계산법으로 변환될 수 있음을 보인다. 또한, Böhm 동등 부류의 특성을 적용함으로써, 이 변환은 디폴트 룰로 된 개서 시스템을 코딩할 수 있으며 TRS의 '의미 없는 팀'들을 동일한 람다 팀으로 해석할 수 있도록 한다.

Keywords

References

  1. N. Dershowitz and J.-P. Jouannaud and J.W. Klop. Open problems in rewriting - no. 1. In 4th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 488, pp. 445-456, Springer-Verlag, 1991
  2. G. Berry. Stable models of typed ${\lambda}-calculi.$ In Automata and Languages and Programming. Lecture Notes in Computer Science 62, pp. 72-89, Springer-Verlag, 1978
  3. C. Bohm. Alcune proprieta delle forme ${\beat}-{\eta}-normalinel$ {\lambda}-K-calcolo.$ IAC Pubbl., 696:19, 1968
  4. S. Byun, J.R. Kennaway, and R. Sleep. Lambda- definable Term Rewriting Systems. In Asian Computer Science Conference `96, Lecture Notes in Computer Science 1023, pp 106-115, Springer- Verlag, 1996
  5. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North-Holland, 1984
  6. J.W. Klop. Term rewriting systems. In Abramsky et al., editors, Handbook of Logic in Computer Science, volume II. Oxford University Press, 1992
  7. G. Huet and J.-J. Levy. Computations in Orthogonal Rewrite Systems I and II. In Lassez and Plotkin, eds., Computational Logic: Essay in Honor of Alan Robinson, MIT Press 1991. (Originally appeared as Technical Report 359, INRIA, 1979.)
  8. J.R. Kennaway, F.J. de Vries and V. van Oostrom, Meaningless terms in rewriting. Journal of Functional and Logic Programming, 1999
  9. S. Byun, Translation of Functions into the Lambda- Calculus. 기초과학연구소 논문집, 제 15권, 3호, pp 261-269, 경성대학교 기초과학연구원, 2004
  10. 변석우, 분리가능 시스템의 지수 추이성과 변환. 정보과학회논문지 제31권 제5호, pp. 658-666, 2004년 5월
  11. A. Berarducci and C. Bohm, A self-interpreter of lambda calculus having a normal form. In CSL- 92, Lecture Notes in Computer Science 702, pp. 85-99, Springer-Verlag, 1992