Top "Computation-theory" questions

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.

NFA to DFA question

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-theory
Are all infinite languages undecidable?

I 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