This is the current version of a short book about atoms that I am writing. The book begins with a discussion of automata models for infinite alphabets. Then, inspired by these automata, the book develops the theory of orbit finite sets with atoms and computation on them.
Leave a Reply