[Cover] [Contents] [Index] Previous page Next Section

Page 182
§8.2.2 Informant Presentation
It is often assumed that children do not receive direct information about the non-sentences of their language (see the discussion in Chapters 1 and 3). Let us consider, however, what happens when texts contain both positive and negative information.
8.30 Definition We say that a text G for a 0-1 valued function is an informant for L just in case 0182-001.gif.
8.31 Definition Let 0182-002.gif.
(a) A scientist M InfTxtExa-identifies L (written: 0182-003.gif) just in case on all informants G for L, 0182-004.gif and WM(G) =a L.
(b) 0182-005.gif.
We can similarly define M InfTxtBca, etc. It is easy to see that 0182-006.gif and 0182-007.gif. We now prove the following Proposition which shows the distinction between the two.
8.32 Proposition 0182-008.gif.
Proof: Let 0182-009.gif. It is easy to see that 0182-010.gif, but not in AscTxtBc*.
§8.2.3 Recursive Texts and Nonrecursive Texts
A text, T, is said to be recursive just in case them exists a recursive function f such that for all n, f(n) = T(n).
If children s caretakers are machine simulable and are sheltered from random environmental influence, they might be limited to the production of recursive texts. Similarly, if natural phenomena are computable processes devoid of any random behavior, a scientist may be restricted to operating on recursive texts. Would such a limitation affect in principle the class of learnable languages? We first incorporate the notion of recursive texts into our learning paradigm.
8.33 Definition Let 0182-011.gif.
(a) M RecTxtExa-identifies L (written : 0182-012.gif) just in case for all recursive texts T for L, 0182-013.gif and WM(T) =a L

 
[Cover] [Contents] [Index] Previous page Next Section