Automatic Programming Language2, Cognitive Computing2, Formal Understanding2, Formalization Automatic2, Interpreter Machine2, system analysis2.