Products of matrices and recursively enumerable sets

作者：

Highlights：

• We show how to represent recursively enumerable sets of matrices by products of matrices.

• We give a version of Rice's theorem for products of matrices.

• The proof is based on the Diophantine representation of recursively enumerable sets.

摘要

•We show how to represent recursively enumerable sets of matrices by products of matrices.•We give a version of Rice's theorem for products of matrices.•The proof is based on the Diophantine representation of recursively enumerable sets.

论文关键词：Matrix,Recursively enumerable set,Diophantine representation,Rice's theorem,Decidability

论文评审过程：Received 16 May 2014, Revised 9 October 2014, Accepted 12 October 2014, Available online 4 November 2014.

论文官网地址：https://doi.org/10.1016/j.jcss.2014.10.004