In theoretical computer science, a regular language is a formal language (i.e., a possibly infinite set of finite sequences of symbols from a finite alphabet) that satisfies the following equivalent properties:
The collection of regular languages over an alphabet Σ is defined recursively as follows:
All finite languages are regular. Other typical examples include the language consisting of all strings of the form: several as followed by several b...
more
In theoretical computer science, a regular language is a formal language (i.e., a possibly infinite set of finite sequences of symbols from a finite alphabet) that satisfies the following equivalent properties:
The collection of regular languages over an alphabet Σ is defined recursively as follows:
All finite languages are regular. Other typical examples include the language consisting of all strings of the form: several as followed by several bs.
A simple example of a language that is not regular is the set of strings . Some additional examples are given below.
In computational complexity theory, the complexity class of all regular languages is sometimes referred to as REGULAR or REG and equals DSPACE(O(1)), the decision problems that can be solved in constant space (the space used is independent of the input size). REGULAR ≠ AC, since it (trivially) contains the parity problem of determining whether the number of 1 bits in the input is even or odd and this problem is not in AC. On...
less