PDF hosted at the Radboud Repository of the Radboud University NijmegenEnd User Agreement • January 23rd, 2018
Contract Type FiledJanuary 23rd, 2018Since each wj is included in a k-TSS language contained in L, and γk αk( wj ) is the smallest k-TSS language that contains wj, we conclude that, for all j, γk αk( wj ) L, which in turn implies Ki L. Since there are only finitely many k-test vectors and finitely many k-TSS languages, the sequence
PDF hosted at the Radboud Repository of the Radboud University NijmegenEnd User Agreement • January 23rd, 2018
Contract Type FiledJanuary 23rd, 2018Since each wj is included in a k-TSS language contained in L, and γk αk( wj ) is the smallest k-TSS language that contains wj, we conclude that, for all j, γk αk( wj ) L, which in turn implies Ki L. Since there are only finitely many k-test vectors and finitely many k-TSS languages, the sequence