|
 |
|
|
|
|
acceptable programming system, 20 |
|
|
|
|
|
|
|
|
accountable identification, 96 |
|
|
|
|
|
|
|
|
accuracy of learning, 13 |
|
|
|
|
|
|
|
|
Aexa identification, 155 |
|
|
|
|
|
|
|
|
Ap identification, 165 |
|
|
|
|
|
|
|
|
 identification, 247 |
|
|
|
|
|
|
|
|
ApdExa identification, 236 |
|
|
|
|
|
|
|
|
approximate explanatory identification, 155 |
|
|
|
|
|
|
|
|
Arikawa, A., 85 |
|
|
|
|
|
|
|
|
Arimura, H., 85 |
|
|
|
|
|
|
|
|
AscTxtBca identification, 181 |
|
|
|
|
|
|
|
|
AscEx identification, 194 |
|
|
|
|
|
|
|
|
AscTxtExa identification, 181 |
|
|
|
|
|
|
|
|
asymptotic agreement, 154 |
|
|
|
|
|
|
|
|
asymptotic disagreement, 154 |
|
|
|
|
|
|
|
|
asymptotic uniform agreement, 159, 161 |
|
|
|
|
|
|
|
|
asymptotic uniform disagreement, 159, 161 |
|
|
|
|
|
|
|
|
Barzdins*, J., 95, 115, 118, 120, 131, 136, 145, 262, 275, 282 |
|
|
|
|
|
|
|
|
Barzdins'* Conjecture, 282 |
|
|
|
|
|
|
|
|
Bca identification, 133 |
|
|
|
|
|
|
|
|
behaviorally correct identification, 131, 140 |
|
|
|
|
|
|
|
|
BEXa,c identification, 245 |
|
|
|
|
|
|
|
|
Bexa,c identification, 223 |
|
|
|
|
|
|
|
|
Bickerton, D., 82 |
|
|
|
|
|
|
|
|
Blum, L., 4, 27, 41, 42, 71, 101, 102, 115, 120, 121, 128, 144, 197, 219 |
|
|
|
|
|
|
|
|
Blum, M., 4, 23, 24, 27, 41, 42, 71, 101, 102, 115, 120, 121, 128, 144, 197, 219, 253, 259, 267, 268, 277 |
|
|
|
|
|
|
|
|
Boolos, G., 9 |
|
|
|
|
|
|
|
|
Borel field, 203 |
|
|
|
|
|
|
|
|
Bradshaw, G., 4, 61 |
|
|
|
|
|
|
|
|
Brown, P., 82 |
|
|
|
|
|
|
|
|
Brown, R., 32 |
|
|
|
|
|
|
|
|
candidate stabilizing sequence, 103 |
|
|
|
|
|
|
|
|
canonical index, 16 |
|
|
|
|
|
|
|
|
canonical order, 69 |
|
|
|
|
|
|
|
|
canonical text, 69, 70 |
|
|
|
|
|
|
|
|
Carbonell, J., 61 |
|
|
|
|
|
|
|
|
Case, J., 18, 23, 63, 117, 118, 121, 128, 129, 131-133, 135, 136, 138, 140-142, 144-146, 149, 219, 245, 262, 263, 269, 273, 275, 276 |
|
|
|
|
|
|
|
|
cautious identification, 123 |
|
|
|
|
|
|
|
|
characteristic function, 17 |
|
|
|
|
|
|
|
|
Church, A., 15 |
|
|
|
|
|
|
|
|
compactness of a functional, 19 |
|
|
|
|
|
|
|
|
computation tree, 207 |
|
|
|
|
|
|
|
|
computational complexity measure, 24 |
|
|
|
|
|
|
|
|
computer simulability, 61 |
|
|
|
|
|
|
|
|
conditionally consistent identification, 122 |
|
|
|
|
|
|
|
|
confident identification, 59, 84, 124 |
|
|
|
|
|
|
|
|
conservative identification, 107 |
|
|
|
|
