不确定此符号的含义

Question

我有一个集合'A'，想要显示它是可确定的，但是集合的符号使我感到困惑。它说 A = {：M是一个图腾机，因此M（00）[100] = accept} 。我不确定以下含义。 M（00）[100] =接受 。有人可以帮我吗？谢谢。