LYaPAS: A Programming Language for Logic and Coding Algorithms

a₁ algorithm auxiliary binary binary operator Boolean function Boolean space cardinality checkout mode circuit components computation conjunctions const constant constructed contains convex set corresponding coverage defined denote disjunctive disjunctive normal form elements of complexes example execution expression external operands external program factored form finding first-level function f(X given graph index register initial input Int₁ K-intervals kernel L-operators L-program Lemma LYaPAS M₁ machine language machine program macroinstruction magnetic tape matrix maximal maximal elements memory method minimal terms nodes number of variables obtained octal operator OPLU output pair partition phrase positions problem programming system PS-LYaPAS punched tape realization reco representation represented result rows selco sentence sequence set Int set of intervals solution subblock subroutine subsets symbol Synthesis of instructions tape Theorem tion TRALU vectors Zakrevskii zero Δα