Message Boards Message Boards

Wolfram|Alpha's Turing machine enumeration?

GROUPS:

Hello, everyone. I've been trying to figure it out how does Turing Machines are enumerated in Wolphram Alpha. I've tested the first 4096 Turing machines, which are all 2-symbols, 2-states machines. But after that, I donĀ“t understand how the enumeration is done. I also don't know why all of the 4096 2-symbols, 2-states machines have all their transitions defined [For every state q, and symbol a, d(q, a) exists]. What about the machines whit non-defined transitions? Are those machines out of the enumeration?

POSTED BY: Serj 1495
Answer
22 days ago

Group Abstract Group Abstract