jendrik@discuss.tchncs.detoProgramming@programming.dev•[CompSci] Is the specification / definition of an automaton (like a turing machine) a type of algorithm?
131·
6 months agoYes, that’s essencially the church-turing-thesis
Yes, that’s essencially the church-turing-thesis
Implementing a telegram or discord bot might be easier
Except when Type::Method takes a reference, then it doesn't just work
Da kümmert man sich dann drum, wenn man wieder gesund ist.