1 code implementation • 8 Dec 2022 • Shoichiro Hara, Yuji Watanabe
Because the proposed method can realize "sequence", "selection", and "iteration" in programming and can satisfy the conditions of the structured program theorem, it is expected that NP4G is a method automatically acquire any programs by inductive inference.