LYaPAS: A Programming Language for Logic and Coding Algorithms

a₁ algorithm auxiliary binary binary operator block Boolean function Boolean space cardinality CARTESIAN PRODUCT circuit complex ẞ components computation conjunctions constant constructed contains convex set corresponding cova coverage defined denote disjunctive disjunctive normal forms example execution expression external operands external program factored form finding first-level function f(X given graph initial input Int₁ K-intervals kernel L-operators L-program Lemma LYaPAS M₁ machine language machine program macroinstruction matrix maximal maximal elements method minimal terms nodes number of variables obtained operator OPLU output pair partition phrase problem programming system punched tape realization reco representation represented rows selco sentence set Int set of intervals solution ẞK stage subblock subroutine subsets symbol synth Synthesis of instructions tape Theorem tion TRALU transfer translator variables and indexes vectors Zakrevskii zero Δα