formal derivation的意思|示意
[计]形式衍生
formal derivation的用法详解
正式衍生是一种应用于英语形容词或副词的一种技术，用来表达更详细的含义。它可以在构成一个单词的基础上，以英语的文法规则来构造出另一个形容词或副词。在正式衍生的英语词汇中，一般会包括带有“-al”，“-ism”或“-ly”后缀的单词，通过加上这些后缀，可以将一个原来的形容词或副词衍生出更丰富的意义。
比如，在正式衍生的过程中，“natural”可以衍生出“naturally”，“nature”可以衍生出“natureism”，“proper”可以衍生出“properly”，“equal”可以衍生出“equality”、“equally”等等，其中每个形容词或副词均可衍生出不同的含义，让人的认知变得更加丰富。
正式衍生的技术为英语中构造出更详细的意义提供了自然而有效的方法，学习它对于英语研究者来说是一件非常有意义的事情。如果想要熟练掌握正式衍生，最重要的是要熟练掌握英语单词的构成规则，以及各种语法规则。只有这样，才能够把握住单词之间衍生出来的关联，发现单词之间的细微差别，从而能够更好地理解英语中表达的含义。
formal derivation相关短语
1、 formal derivation method 形式推导方法
2、 formal derivation method of programs 程序的形式推导方法
formal derivation相关例句
This paper presents the steps of the formal derivation method of programs by the development of two problems.
以两个问题的程序开发为例说明了程序的形式推导方法的使用。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。