“…It can be shown (e.g. Fu & Booth 1975, Chou & Fu 1976, Berger & Pair 1978 that inference is possible for some classes of grammars and procedures have been developed to do this. The difficulty as Herman & Walker (1972) point out, is that we have first to infer the hypothesis space, and then the particular system within it, which is not a standard inference problem.…”