Abstract:Basing upon a strict mathematical theory, the programming language FFP[1] is a purely functional programming language and a subset of the reduction language L4[2,3]. In this paper the object-oriented programming (OOP) paradigm is considerably succinctly embeded in the FFP-AST system. By this means, on the one hand, it- is revealed that the object-oriented programming paradigm (OOPP) and the functional programming paradigm (FPP) are closely related. On the other hand, the semantics of OOPP described by the FFP-AST is settled.In essence,a programming language is proposed,being possessed of both FPP and OOPP.To put it in a nutshell,the methodology penetrating the work in this paper is the idea of closely integrting the automation with practice.