Formal languages and global cellular automaton behavior