Theory of Automata3Introduction•By using FAs and regular expressions, we have been able to define manylanguages.Although these languages have many different structures, theytake only a few basic forms:–Languages with required substrings–Languages that forbid some substrings–Languages that begin or end with certain substrings–Languages with certain even (or odd) properties, and so on.•We now turn our attention to some new forms, such as the languagePALINDROME, or the language PRIME of all words ap, where p is a primenumber.•We shall see that neither of these is a regular language. We can describe themin English, but they can not be defined by an FA. We need to build morepowerful machines to define them.