jendrik@discuss.tchncs.detoProgramming@programming.dev•[CompSci] Is the specification / definition of an automaton (like a turing machine) a type of algorithm?
131·
7 months agoYes, that’s essencially the church-turing-thesis
Yes, that’s essencially the church-turing-thesis
Except when Type::Method takes a reference, then it doesn’t just work
Vanilla ice with strawberry sauce, just in fancy