|
 |
|
|
|
|
Snow, C., 32 |
|
|
|
|
|
|
|
|
Solomonoff, R., 4 |
|
|
|
|
|
|
|
|
stabilizing sequence, 102 |
|
|
|
|
|
|
|
|
stable set, 287 |
|
|
|
|
|
|
|
|
Stephan, F., 114, 121, 189, 245, 254, 256, 259, 260, 276 |
|
|
|
|
|
|
|
|
strategy |
|
|
|
|
|
|
|
|
learning, 91 |
|
|
|
|
|
|
|
|
strictly ascending text, 58 |
|
|
|
|
|
|
|
|
strong-monotonic identification, 108 |
|
|
|
|
|
|
|
|
Suppes, P., 34 |
|
|
|
|
|
|
|
|
 identification, 198 |
|
|
|
|
|
|
|
|
 identification, 198 |
|
|
|
|
|
|
|
|
tell-tale of a language, 85 |
|
|
|
|
|
|
|
|
for a function, 49 |
|
|
|
|
|
|
|
|
for a language, 31 |
|
|
|
|
|
|
|
|
nonrecursive, 182 |
|
|
|
|
|
|
|
|
strictly ascending, 58 |
|
|
|
|
|
|
|
|
total minded identification, 123 |
|
|
|
|
|
|
|
|
total recursive functional, 19 |
|
|
|
|
|
|
|
|
total recursive operator, 19 |
|
|
|
|
|
|
|
|
Trakhtenbrot, B., 262 |
|
|
|
|
|
|
|
|
translator between programming systems, 20 |
|
|
|
|
|
|
|
|
Treiman, R., 32 |
|
|
|
|
|
|
|
|
trivial oracle, 253 |
|
|
|
|
|
|
|
|
Turing, A., 15 |
|
|
|
|
|
|
|
|
TxtAcpdExa identification, 241 |
|
|
|
|
|
|
|
|
TxtAexa identification, 158 |
|
|
|
|
|
|
|
|
 identification, 242 |
|
|
|
|
|
|
|
|
TxtApdExa identification, 241 |
|
|
|
|
|
|
|
|
 identification, 242 |
|
|
|
|
|
|
|
|
TxtBca identification, 140 |
|
|
|
|
|
|
|
|
TxtBca-locking sequence, 147 |
|
|
|
|
|
|
|
|
TxtBexa,c identification, 232 |
|
|
|
|
|
|
|
|
TxtEx identification, 63, 138 |
|
|
|
|
|
|
|
|
TxtExa identification, 138 |
|
|
|
|
|
|
|
|
TxtExa-locking sequence, 146 |
|
|
|
|
|
|
|
|
TxtExExact identification, 81 |
|
|
|
|
|
|
|
|
[TxtEx]global-monotonic identification, 125 |
|
|
|
|
|
|
|
|
TxtExta identification, 148 |
|
|
|
|
|
|
|
|
TxtExWeakExact identification, 87 |
|
|
|
|
|
|
|
|
 identification, 148 |
|
|
|
|
|
|
|
|
 identification, 142 |
|
|
|
|
|
|
|
|
 identification, 149 |
|
|
|
|
|
|
|
|
TxtMex identification, 274 |
|
|
|
|
|
|
|
|
TxtMex Y identification, 273 |
|
|
|
|
|
|
|
|
TxtMin Y identification, 268 |
|
|
|
|
|
|
|
|
 identification, 242 |
|
|
|
|
|
|
|
|
 identification, 242 |
|
|
|
|
|
|
|
|
TxtUniBexa,c identification, 232 |
|
|
|
|
|
|
|
|
UapdExa identification, 237 |
|
|
|
|
|
|
|
|
Uexa identification, 159 |
|
|
|
|
|
|
|
|
UniBexa,c identification, 224 |
|
|
|
|
|
|
|
|
unidentifiability |
|
|
|
|
|
|
|
|
computational, 251 |
|
|
|
|
|
|
|
|
information-theoretic, 251 |
|
|
|
|
|
|
|
|
uniform relative density, 240 |
|
|
|
|
|
|
|
|
uniformly d-conforming, 236 |
|
|
|
|
|
|
|
|
vacillatory function identification, 136 |
|
|
|
|
|
|
|
|
vacillatory language identification, 141 |
|
|
|
|
|
|
|
|
van Riemskijk, H., 30 |
|
|
|
|
|
|
|
|
Vazirani, U., 13 |
|
|
|
|
