What is Automata Theory?

What is Automata Theory?

Automata theory is used to study the abstract machine and automata (the self-acting machine).  Abstract machine is a theoretical model of a computer used in Automata theory. Automata theory is used to solve the computational problems. Abstract devices are easiest models of real calculations or computations. The basic meaning of “Automata” means "self-making” which is taken from the word “????????”. Automata used in various fields like:

  • Theory of computation
  • Compiler construction
  • Artificial intelligence, 
  • Parsing
What is Automata Theory?

The basic terminologies used in Automata Theory

  • Alphabets
  • Strings
  • Languages
  • Grammars

Alphabets:

An alphabets is a finite set of non-empty symbols. The symbol ? (sigma) is used to denote an alphabet.

Examples:

? = {0, 1} is the binary alphabet

? = {a, b, c… z} is the set of lowercase letters

? = {A, B, C… Z} is the set of uppercase letters

?= {(, )}: the set of open and closed brackets

Strings:

A string is a finite sequence of symbols selected from alphabets.

Examples:

abcbz is a string over ? = {a, b, c, d… z}

11001011 is a string over ? = {0, 1}

)) ()(() is a string over ? = {(,)}

Kleene Star (Closure)

The Kleene star ?* includes the all possible strings of lengths over ? including the empty string ? or ?. It is represented by using below notation:

?* = ?0 ? ?1 ? ?2 ?……. ?n

Example:

? = {1, 2} 

?* = {?, 1, 2, 11, 22, 12, 21…}

Kleene Star (Plus)

The set ?+ is the infinite set of all possible strings of lengths over ? excluding ? or ?. In simple words it does not include empty string.

It is represented by using below notation:

?+ = ?1 ? ?2 ? ?3 ?…….?n

?+ = ?* ? {?}

Example

? = {1, 2} 

?+ = {1, 2, 11, 22, 12, and 21…}

Empty or Null String

The strings having no symbol is called the empty string and null string. Empty string is the string with zero or no occurrence of symbols in the given string. The general notation of representing empty string is ?.

Reverse of String

The reverse of string WR is calculated by writing symbols in reverse order.

Example

“automata” is the string

WR = “atamotua” is the reverse of string

Substring

A string of consecutive characters from W is called as substring of W.

Example

W = bbababa be a string over an alphabet ? = {a, b} then a, bba, aba are substrings of w.

Length of String

The number of symbols in a string defines the length of the string. Length of a string w, denoted by “|w|”, is equal to the number of (non- ?) characters in the string.

Example:

W = 010100                                    

No of string |W| = 6

Concatenation of Strings

The Concatenation of Strings is used to join and concatenate the two or more strings. Suppose ‘a’ and ‘b’ are the strings, then Concatenation of strings will be ‘ab’.

Example:

“Hello” is a string and “World” is another string

The Concatenation of Strings is HelloWorld

Palindrome String

A palindrome is the string which is same as whether it is written forward or backward.

Examples:

Madam is a palindrome string

131 is a palindrome string

Language

A language is a set of strings or symbols from some alphabet. A language is collection of strings. A language can be finite or infinite also.

Examples:

     The language L of strings of length 2, defined over ?= {a, b, c}, can be written as    

                     L= {aa, ab, ac, ba, bb, ac, ca, cb, cc}

     The complement of language is denoted by L’, it is calculated by using

        L' = ?* - L.

Grammar

A grammar defines a set of rules, and with the use of these rules, valid sentences in a language are generated. Similar to English language we have set of rules in automata, which help us in creating sentences. A popular way to derive a grammar recursively is phrase-structure grammar.

Example

A derivation of “The girl sleeps”
<Sentence> => <noun-phrase> <predicate>
                   => <noun-phrase> <verb>
                   => <article> <noun> <verb>
                   =>  The          <noun> <verb>
                   => The            girl      <verb>
                   => The girl sleeps

Related Topics

Equivalence of Regular Grammar and Finite Automata

Equivalence of Regular Grammar and Finite Automata Regular Grammar / type -3 grammar A regular grammar or type-3 defines the language called regular language that is accepted by finite Automata.A Regular Grammar...

3 minutes read.

Non-deterministic Turing Machine - Automata

A non-deterministic Turing machine (NTM) is a theoretical machine used in computability theory to study the extent to which a machine can "guess" at a solution and yet still be...

4 minutes read.

Undecidable Problem of Turing Machine

Automata Undecidable Problem of Turing Machine Undecidable problems areproblems which cannot be solved by any Turing machine. Example: Post Correspondence Problem is the type of undecidable Problem. Post Correspondence Problem Post Correspondence problem is...

7 minutes read.

Pumping Lemma for Context Free Languages

Pumping Lemma for Context Free Languages The Pumping Lemma is made up of two words, in which, the word pumping is used to generate many input strings by pushing the symbol...

3 minutes read.

Conversion from Moore Machine to Mealy Machine

Conversion from Moore Machine to Mealy Machine Moore Machine The output of Moore machine depends only on the present state. In this, if machine has N number of states, then it will...

6 minutes read.

Ambiguity in Context Free Grammar - Automata

Ambiguity in Context Free Grammar? Context Free Grammar Context Free Grammar has one condition for production rules, which is, on the left-hand side of each rule, there must be only single variable,...

4 minutes read.

Context Free Grammar - Automata

Context Free Grammar Grammar defines a set of rules, and with the help of these rules valid sentences in a language are constructed. A grammar consists of collection of substitution rules,...

3 minutes read.

Push down Automata Acceptance

Acceptance of Language by Push down Automata Push down Automata accepts the language, which is called context free language. Push down Automata = Finite Automata + Auxiliary Memory (Stack) Auxiliary Memory helps Push...

3 minutes read.

Conversion from Mealy Machine to Moore Machine

Conversion from Mealy Machine to Moore Machine In this topic, we will see different ways that are used for the conversion of Mealy Machine to Moore Machine. Moore Machine The output of Moore...

4 minutes read.

Converting Finite Automata to Regular Expression using Arden’s Theorem

Converting Finite Automata to Regular Expression using Arden’s Theorem The Arden’s Theorem can be applied to find the regular expression recognized by the given transition diagram. This theorem can be applied...

4 minutes read.

Automata Regular Expressions

Regular Expressions Regular expressions are also referred as rational expressions, which are used to describe the algebraic description of regular languages. It is generally a sequence of characters that is used...

3 minutes read.

Automata Chomsky Hierarchy

Chomsky Hierarchy Formal languages: A language with precise syntax and semantics are called formal languages. Noam Chomsky has defined the Chomsky hierarchy in 1956. He is an American scientist and philosopher, and...

3 minutes read.

Closure Properties of Regular Languages -Automata

Closure Properties of Regular Languages We use the term “Closure” when we talk about sets of things. If we have two regular languages L1 and L2, and L is obtained by...

3 minutes read.

Simplification of Context Free Grammar - Automata

Simplification of Context Free Grammar Context Free Grammar has recursive structure. The languages that are accepted with Context Free Grammar are called Context Free Languages. Context Free Grammar has one condition...

3 minutes read.

Minimization of Finite Automata

Minimization of Finite Automata The term minimization refers to the construction of finite automata with a minimum number of states, which is equivalent to the given finite automata. The number of...

4 minutes read.

Chomsky's Normal Form - Automata

Chomsky's Normal Form (CNF) In context free grammar, the left-hand side of production rules contains only one variable, and right side may contain any number of variables or terminals in production...

4 minutes read.

Finite Automata with Output

Finite Automata with Output The Finite State machine is similar to Finite Automata, except that it has the additional capacity of producing output. Finite State machine = Finite Automata + Output Capabilities Types...

3 minutes read.

Finite Automata

Finite Automata Finite state Automata or Finite State Machine is the simplest model used in Automata. Finite state automata accepts regular language. In this, the term finite means it has a...

4 minutes read.

What is Automata Theory?

What is Automata Theory? Automata theory is used to study the abstract machine and automata (the self-acting machine).  Abstract machine is a theoretical model of a computer used in Automata theory. Automata...

4 minutes read.

Minimization of Finite Automata with Output

Minimization of Finite Automata with Output The method to minimize the Moore and Mealy machine is very much similar to the method that we have used to minimize the DFA. Methods to...

3 minutes read.