ϵ">]>
Literature.
[1] Ján Komara. Specification and Verification of Programs. Online.
[2] Ján Kľuka. Úvod do deklaratívneho programovania. Online.
[3] Ján Komara. Recursive Functions. Online.
Interpreter of primitive recursive function symbols. (2 points) Define the interpreter of p.r. function symbols.
Primitive recursive indices. See also the binary predicate holding of well-formed p.r. indices defined in the module Mxpr.
Exercise. Find a well-formed p.r. index of the unary constant function , i.e. find the number such that
Exercise. Find a well-formed p.r. index of the addition function , i.e. find the number such that
Exercise. (1 point) Find a well-formed p.r. index of the multiplication function , i.e. find the number such that