The theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm.
First, this is not a question asking for the algorithm to convert a NFA to DFA. It's known (and proved) …
computer-science finite-automata computation-theoryI am wondering are all infinite languages undecidable? They must be right, as the TM trying to decide an infinite …
turing-machines computation-theory language-theory