递归语言上的运算及其封闭性质

本文应用可计算谓词的运算讨论了递归语言上的运算。当L为一递归语言时,证明了在Δ-无关映照f作用下,只要对任一α∈Σ,f(α)为递归,则f(L)也是递归语言。且讨论了在广义顺序机作用下仍能保持语言L的递归性。