Common Contracts
1 similar null contracts
PDF hosted at the Radboud Repository of the Radboud University NijmegenJanuary 23rd, 2018
Since 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
