We study (interim correlated) rationalizability in a game with incomplete information. We characterize the recursive set of possible rationalizable hierarchies through a finite automaton and provide a revelation principle that characterizes the distributions over these hierarchies that arise...