C Program to build DFA accepting the languages ending with “01”

Problem

Design deterministic finite automata (DFA) with ∑ = {0, 1} that accepts the languages ending with “01” over the characters {0, 1}.

Solution

The strings that are generated for a given language are as follows −

L={01,001,101,110001,1001,……….}

The minimum length of the string is 2, the number of states that the DFA consists of for the given language is: 2+1 = 3 states.

Here,

• q0 − On input 0 it goes to state q1 and on input 1 it goes to itself.

• q1 − On input 0 it goes to itself and on input 1 it goes to State q2.

• q2 − On input 0 it goes to State q1 and on input 1 goes to State q0. State to q2 is the final state.

Example

Following is the C program to construct a DFA with ∑ = {0, 1} that accepts the languages ending with “01” over the characters {0, 1} -

 Live Demo

#include
#define max 100
main() {
   char str[max],f='a';
   int i;
   printf("enter the string to be checked: ");
   scanf("%s",str);
   for(i=0;str[i]!='\0';i++) {
      switch(f) {
         case 'a': if(str[i]=='0') f='b';
            else if(str[i]=='1') f='a';
         break;
         case 'b': if(str[i]=='0') f='b';
            else if(str[i]=='1') f='c';
         break;
         case 'c': if(str[i]=='0') f='b';
            else if(str[i]=='1') f='a';
         break;
      }
   }
   if(f=='c')
      printf("\nString is accepted", f);
   else printf("\nString is not accepted", f);
      return 0;
}

Output

The output is as follows −

Run 1:
enter the string to be checked: 10101001
String is accepted.
Run 2:
enter the string to be checked: 10000010
String is not accepted.

Bhanu Priya

Published on 15-Jun-2021 12:02:43

• Related Questions & Answers
• DFA for Strings not ending with “THE” in C++?
• Deletions of “01” or “10” in binary string to make it free from “01” or “10” in C++ Program
• Deletions of “01” or “10” in binary string to make it free from “01” or “10" in C++?
• C program for DFA accepting all strings over w ∈(a,b)* containing “aba” as a substring
• Order dates in MySQL with the format “01 August 2019”?
• What are the differences between “untyped” & “dynamically typed” programming languages?
• Make HTML5 input type=“number” accepting dashes
• Construct DFA for strings not ending with "THE"
• C Program to construct DFA accepting odd numbers of 0s and 1s
• C++ Program to Print “Even” or “Odd” without using conditional statement
• C Program to print “Even” or “Odd” without using Conditional statement
• Program to build DFA that starts and ends with ‘a’ from the input (a, b)
• Program to build DFA that starts and end with ‘a’ from input (a, b) in C++
• Header files “stdio.h” and “stdlib.h” in C
• How to work with “!=” or “not equals” in MySQL WHERE?