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.

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.

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 of DFA to Regular expression

Conversion of DFA to Regular expression To convert the DFA to Regular Expression (RE), we are going to use a method called converting DFA to regular expression by eliminating states. This...

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.

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.

Derivation Tree of Context Free Grammar - Automata

Derivation Tree of Context Free Grammar Derivation tree gives a way to show how a string can be derived from context free grammar. It is also called as parse tree, production...

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.

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.

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.

Automata Greibach Normal Form

Greibach Normal Form In Greibach Normal Form, there is restriction on the position, in which, terminals and variables can appear on right-hand side of production rules. In Greibach Normal Form, every...

4 minutes read.

Recursive Language and Recursive Enumerable Language

Recursive Language and Recursive Enumerable Language Before discussing Recursive language and Recursive Enumerable language, let us see what Turing machine responds for some input string. If we have the Turing machine T...

4 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.

Pumping Lemma for Regular Languages - Automata

Pumping Lemma for Regular Languages The language accepted by the finite automata is called Regular Language. If we are given a language L and asked whether it is regular or not?...

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.

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.

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.

Conversion from NFA to DFA

Conversion from NFA to DFA A Non-deterministic Finite Automata (NFA) is a finite state machine, in which, the move from one state to another is not fully deterministic, i.e., for a...

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.

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.