Scribd
Upload
232 views8 pages

Example 1

The document describes 8 examples of constructing finite automata to accept various sets of strings. Each example provides the transition diagram of the automata. The automata accept strings with certain properties, such as having an even/odd number of 0s/1s, or not containing particular substrings. The examples also demonstrate operations like determining the complement and minimized automata.

Uploaded by

Jacob Gollamudi
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
232 views8 pages

Example 1

The document describes 8 examples of constructing finite automata to accept various sets of strings. Each example provides the transition diagram of the automata. The automata accept strings with certain properties, such as having an even/odd number of 0s/1s, or not containing particular substrings. The examples also demonstrate operations like determining the complement and minimized automata.

Uploaded by

Jacob Gollamudi
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
You are on page 1/ 8

EXAMPLE 1 Construct a finite automata accepting the set of all strings of zeros and ones, with at most one

pair of consecutive zeros and at most one pair of consecutive ones.

A transition diagram of the finite automata accepting the set of all strings of zeros and ones, with at most one pair of consecutive zeros and at most one pair of consecutive ones is shown in Figure 1.

Figure 1: Transition diagram for Example 1 finite automata. EXAMPLE 2 Construct a finite automata that will accept strings of zeros and ones that contain even numbers of zeros and odd numbers of ones.

A transition diagram of the finite automata that accepts the set of all strings of zeros and ones that contains even numbers of zeros and odd numbers of ones is shown in Figure 2.

Figure 2: Finite automata containing even number of zeros and odd number of ones. EXAMPLE 3 Construct a finite automata that will accept a string of zeros and ones that contains an odd number of zeros and an even number of ones.

A transition diagram of finite automata accepting the set of all strings of zeros and ones that contains an odd number of zeros and an even number of ones is shown in Figure 3.

Figure 3: Finite automata containing odd number of zeros and even number of ones. EXAMPLE 4 Construct the finite automata for accepting strings of zeros and ones that contain equal numbers of zeros and ones, and no prefix of the string should contain two more zeros than ones or two more ones than zeros.

A transition diagram of the finite automata that will accept the set of all strings of zeros and ones, contain equal numbers of zeros and ones, and contain no string prefixes of two more zeros than ones or two more ones than zeros is shown in Figure 4.

Figure 4: Example 4 finite automata considers the set prefix. EXAMPLE 5 Construct a finite automata for accepting all possible strings of zeros and ones that do not contain 101 as a substring.

Figure 5 shows a transition diagram of the finite automata that accepts the strings containing 101 as a substring.

Figure 5: Finite automata accepts strings containing the substring 101. A DFA equivalent to this NFA will be:
{A} {A, B} {A, C} 0 {A} {A, C} {A} 1 {A, B} {A, B} {A, B, D}

{A, B, D}* {A, C, D} {A, B, D} {A, C, D}* {A, D} {A, B, D} {A, C, D}* {A, D} {A, B, D}

Let us identify the states of this DFA using the names given below:
{A} {A, B} {A, C} {A, B, D} {A, C, D} {A, D} q0 q1 q2 q3 q4 q5

The transition diagram of this automata is shown in Figure 6.

Figure 6: DFA using the names A-D and q05. The complement of the automata in Figure 6 is shown in Figure 7.

Figure 7: Complement to Figure 6 automata. After minimization, we get the DFA shown in Figure 8, because states q3, q4, and q5 are nondistinguishable states. Hence, they get combined, and this combination becomes a dead state and, can be eliminated.

Figure 8: DFA after minimization. EXAMPLE 6 Construct a finite automata that will accept those strings of decimal digits that are divisible by three (see Figure 9).

Figure 9: Finite automata that accepts string decimals that are divisible by three. EXAMPLE 7 Construct a finite automata that accepts all possible strings of zeros and ones that do not contain 011 as a substring.

Figure 10 shows a transition diagram of the automata that accepts the strings containing 101 as a substring.

Figure 10: Finite automata accepts strings containing 101. A DFA equivalent to this NFA will be:
0 1 {A} {A, B} {A} {A, B} {A, B} {A, C} {A, C} {A, B} {A, D} {A, D}* {A, B, D} {A, D} {A, B, D}* {A, B, D} {A, C, D} {A, C, D}* {A, B, D} {A, D}

Let us identify the states of this DFA using the names given below:
{A} {A, B} {A, C} {A, D} {A, B, D} {A, C, D} q0 q1 q2 q3 q4 q5

The transition diagram of this automata is shown in Figure 11.

Figure 11: Finite automata identified by the name states A-D and q05. The complement of automata shown in Figure 11 is illustrated in Figure 12.

Figure 12: Complement to Figure 11 automata. After minimization, we get the DFA shown in Figure 13, because the states q3, q4, and q5 are nondistinguishable states. Hence, they get combined, and this combination becomes a dead state that can be eliminated.

Figure 13: Minimization of nondistinguishable states of Figure 12. EXAMPLE 8 Construct a finite automata that will accept those strings of a binary number that are divisible by three. The transition diagram of this automata is shown in Figure 14.

Figure 14: Automata that accepts binary strings that are divisible by three.

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy