|
 |
|
|
|
|
identification (continued) |
|
|
|
|
|
|
|
|
via enumeration, 281 |
|
|
|
|
|
|
|
|
weak-monotonic, 110 |
|
|
|
|
|
|
|
|
weakly nontrivial, 122 |
|
|
|
|
|
|
|
|
identification*, 38 |
|
|
|
|
|
|
|
|
Im*Func identification, 190 |
|
|
|
|
|
|
|
|
Im*Lang identification, 190 |
|
|
|
|
|
|
|
|
ImaExb identification, 171 |
|
|
|
|
|
|
|
|
ImaTxtExb identification, 169 |
|
|
|
|
|
|
|
|
In*Func identification, 190 |
|
|
|
|
|
|
|
|
In*Lang identification, 190 |
|
|
|
|
|
|
|
|
inaccurate data, 168 |
|
|
|
|
|
|
|
|
InaExb identification, 171 |
|
|
|
|
|
|
|
|
InaTxtExb identification, 169 |
|
|
|
|
|
|
|
|
index of a function, 20 |
|
|
|
|
|
|
|
|
indexed family of languages, 85 |
|
|
|
|
|
|
|
|
induction by enumeration, 59 |
|
|
|
|
|
|
|
|
informant for a language, 182 |
|
|
|
|
|
|
|
|
information theoretic limits, 34 |
|
|
|
|
|
|
|
|
InfTxtBca identification, 182 |
|
|
|
|
|
|
|
|
InfTxtExa identification, 182 |
|
|
|
|
|
|
|
|
intensionality, 61 |
|
|
|
|
|
|
|
|
internal simulation argument, 69, 70 |
|
|
|
|
|
|
|
|
Jain, S., 121, 149, 163, 165, 166, 188, 189, 217-219, 230, 243-245, 254, 256, 259, 260, 275, 276 |
|
|
|
|
|
|
|
|
Jeffery, R., 9 |
|
|
|
|
|
|
|
|
Jockusch, C., 254 |
|
|
|
|
|
|
|
|
Kalyanasundaram, B., 219 |
|
|
|
|
|
|
|
|
Kapron, B., 261 |
|
|
|
|
|
|
|
|
Kaufmann, S., 245 |
|
|
|
|
|
|
|
|
Kearns, M., 13 |
|
|
|
|
|
|
|
|
Kinber, E., 114, 121, 219, 245, 254, 256, 259, 260, 276, 278 |
|
|
|
|
|
|
|
|
Kleene, S., 20 |
|
|
|
|
|
|
|
|
Krishna Rao, M., 85 |
|
|
|
|
|
|
|
|
Lakatos, I., 151 |
|
|
|
|
|
|
|
|
Langley, P., 4, 61 |
|
|
|
|
|
|
|
|
language, 18 |
|
|
|
|
|
|
|
|
language acquisition, 3 |
|
|
|
|
|
|
|
|
language conjectured by a scientist, 33 |
|
|
|
|
|
|
|
|
language d-conforming, 240 |
|
|
|
|
|
|
|
|
Lasnik, H., 29 |
|
|
|
|
|
|
|
|
lean text, 58 |
|
|
|
|
|
|
|
|
learning strategy, 91 |
|
|
|
|
|
|
|
|
global, 92 |
|
|
|
|
|
|
|
|
length of a sequence, 32, 50 |
|
|
|
|
|
|
|
|
Lenneberg, E., 32 |
|
|
|
|
|
|
|
|
Lewis, H., 15 |
|
|
|
|
|
|
|
|
LimExa identification, 149 |
|
|
|
|
|
|
|
|
limiting partial recursive, 25 |
|
|
|
|
|
|
|
|
limiting recursive functional, 25 |
|
|
|
|
|
|
|
|
limiting recursive functions, 25 |
|
|
|
|
|
|
|
|
limiting recursive set, 25 |
|
|
|
|
|
|
|
|
limiting standardizable, 269, 278 |
|
|
|
|
|
|
|
|
locking sequence, 42, 56 |
|
|
|
|
|
|
|
|
TxtExa-locking sequence, 146 |
|
|
|
|
|
|
|
|
locking text, 56 |
|
|
|
|
|
|
|
|
Martin, E., 9, 30 |
|
|
|
|
|
|
|
|
Matthews, R., 40 |
|
|
|
|
|
|
|
|
memory-limited scientist, 47 |
|
|
|
|
|
|
|
|
the function identification case, 52 |
|
|
|
|
