Symbolical Index Reduction and Completion Rules for Importing Tensor Index Notation Into Programming Languages