Log-space transducer, computer science:
“A log-space transducer is a type of Turing machine used for log-space reductions.” (Wikipedia)
Log-space transducer, computer science:
“A log-space transducer is a type of Turing machine used for log-space reductions.” (Wikipedia)
Yesss! Ok, on to the Entscheidungsproblem! Doug Hofstadter might be helpful here.
Ha! This one seems impossible, but I will find a way. I have Godel, Escher, Bach around here somewhere but I haven’t read it… Maybe that will be next year’s readalong!