By and large an excellent rundown, though I had a few issues with the details in places—e.g., totalistic CAs aren't anything special, they're just a restriction of the generalized rules, and happen to be used more often in many-state/many-dimension CAs because the rule enumerations just get too damn big. A niggle.

Seriously, though, some really fantastic stuff. My undergrad thesis used a lot of CAs, and some of the examples still floored me. A working prime generator with integrated LCD display? Um... what?