>>12833610search on amazon for books like "formal languages and automata" or some "automata theory" and "computability"
note these are different from general algorithms, very different, but also far more interesting since you're reaching into the edge of "what is able to be computed?".
