A Homomorphic Characterization of Recursively Enumerable Languages.

Sadaki Hirose Satoshi Okawa Masaaki Yoneda

Published in: Theor. Comput. Sci. (1985)

Keyphrases

recursively enumerable
inductive inference
recursive functions
hypothesis space
real valued functions
privacy preserving
learning machines
feature vectors
training examples
data exchange