TY  - BOOK
AU  - Rosenberg, Aarnold L.
TI  - The pillars of computation theory: state, encoding, nondeterminism
SN  - 9780387096384
U1  - 511.352 
PY  - 2010///
CY  - New York
PB  - Springer
KW  - Computational complexity
KW  - Logic, Symbolic and mathematical
KW  - Algorithms
KW  - Mathematics
N1  - Pt. I. Prolegomena. Introduction --
Mathematical preliminaries --
pt. II. State. Online automata: exemplars of "state" --
Finite automata and regular languages --
Applications of the Myhill-Nerode theorem --
Enrichment topics --
pt. III. Encoding. Countability and uncountability: the precursors of "encoding" --
Enrichment topic: "efficient" pairing functions, with applications --
Computability theory --
pt. IV. Nondeterminism. Nondeterministic online automata --
Nondeterministic FAs --
Nondeterminism in computability theory --
Complexity theory
ER  -