在目标代码生成阶段，我们通过对机床逻辑源程序的编译，生成机器码形式的目标代码，对分析过程中产生的错误进行分析处理。
In the stage of generate the target code, we pass to compile the machine logic source program, to generate the target code in the form of machine code.
句子的逻辑表达形式的正确性，可以自动生成的程序的形式。
Sentences of logic expressing these forms of correctness can be generated automatically from the form of the program.
在它的逻辑视界中，自然界就是那个在实践活动中生成而在符合人们需要的形式上存在着的现实自然。
The view of Practice is real logical start point of Marx by which explain the relationship between human and nature.
应用推荐