abstract machine; Abstract Machine Notation; abstract syntax; Abstract-Type and Scheme-Definition Language; ambiguity; animals; class; concrete syntax; domain-specific language; emotive meaning; fifth generation language; first-order logic; formula; infix notation; IT; kernel; LaTeX; logic programming; parser; postfix notation; PPLambda; prefix; prefix notation; procedural language; programming language; source code; syntax tree;