Question

Find a recursive definition for CAT : A* x A* → A*defined by CAT(s, t) = st. Put your recursive definition in the following text box.(Note that A* is inductively defined.Basis: Ʌ ϵ A*; Induction: a ϵ A and x ϵ A* imply ax ϵ A*

Answer 1

CAT(Ʌ, Ʌ) = Ʌ; Induction: CAT(s, t) = st, where a ϵ A and x ϵ A* imply ax ϵ A*.

Step-by-step explanation: