basic terminologies of theory computation - Search