java定义初始化_Java：定义术语初始化,声明和赋值

我发现defs是循环的，主题是由他们的动词定义的，但动词是不确定的！那么如何定义它们呢？

循环定义

初始化：初始化一个变量。它可以在时间完成

宣言。

赋值：赋值给变量。它可以在任何地方完成，只有一次与最终标识符。

声明：向变量声明值。

[更新，试图用lambda calc理解主题]

D(x type) = (λx.x is declared with type)

A(y D(x type)) = (λy.y is assigned to D(x type))

%Then after some beta reductions we get initialization.

D(x type) me human // "me" declared with type "human"

A(y (D(x type) me human)) asking // "asking" assigned to the last declaration

%if the last two statemets are valid, an initialization exists. Right?