symbols in theory of computation - Search