document updated 9 years ago, on Dec 18, 2014

It seems like "automata" is a fuzzy term, with lots of related genres, and no clear distinction between them.