Scribd
Upload
20 views

Compiler Design Unit-1 - 5

This document discusses finite automata and compiler design. It defines finite automata as machines that recognize patterns in input strings and change states accordingly. There are two types of finite automata: deterministic finite automata (DFA) and nondeterministic finite automata (NDFA). A DFA uniquely determines its next state based on the current state and input, while a NDFA can transition to multiple states from a single state/input pair. The document also describes how to optimize a DFA by removing unreachable and redundant states through analyzing and merging the transition tables.

Uploaded by

sreethu7856
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
20 views

Compiler Design Unit-1 - 5

This document discusses finite automata and compiler design. It defines finite automata as machines that recognize patterns in input strings and change states accordingly. There are two types of finite automata: deterministic finite automata (DFA) and nondeterministic finite automata (NDFA). A DFA uniquely determines its next state based on the current state and input, while a NDFA can transition to multiple states from a single state/input pair. The document also describes how to optimize a DFA by removing unreachable and redundant states through analyzing and merging the transition tables.

Uploaded by

sreethu7856
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

COMPILER DESIGN (KCS-502)

UNIT-1 (Lecture-5)

Compiler Design: Finite Automata


Finite state machine
o Finite state machine is used to recognize patterns.
o Finite automata machine takes the string of symbol as input and changes its state
accordingly. In the input, when a desired symbol is found then the transition occurs.
o While transition, the automata can either move to the next state or stay in the same state.
o FA has two states: accept state or reject state. When the input string is successfully
processed and the automata reached its final state then it will accept.

A Finite Automata consists of following:

Q: finite set of states


∑: finite set of input symbol
q0: initial state
F: final state
δ: Transition function

Transition function can be define as

1. δ: Q x ∑ →Q

FA is characterized into two ways:

1. DFA (finite automata)


2. NDFA (non deterministic finite automata)

DFA
DFA stands for Deterministic Finite Automata. Deterministic refers to the uniqueness of the
computation. In DFA, the input character goes to one state only. DFA doesn't accept the null
move that means the DFA cannot change state without any input character.

DFA has five tuples {Q, ∑, q0, F, δ}

Q: set of all states


∑: finite set of input symbol where δ: Q x ∑ →Q
q0: initial state

RAVIKANT NIRALA Page 1


COMPILER DESIGN (KCS-502)

F: final state
δ: Transition function

Example
See an example of deterministic finite automata:
1. Q = {q0, q1, q2}
2. ∑ = {0, 1}
3. q0 = {q0}
4. F = {q3}

NDFA
NDFA refer to the Non Deterministic Finite Automata. It is used to transit the any number of
states for a particular input. NDFA accepts the NULL move that means it can change state
without reading the symbols.

NDFA also has five states same as DFA. But NDFA has different transition function.

Transition function of NDFA can be defined as:

δ: Q x ∑ →2Q
Example
See an example of non deterministic finite automata:
1. Q = {q0, q1, q2}
2. ∑ = {0, 1}
3. q0 = {q0}
4. F = {q3}

RAVIKANT NIRALA Page 2


COMPILER DESIGN (KCS-502)

Optimization of DFA
To optimize the DFA you have to follow the various steps. These are as follows:

Step 1: Remove all the states that are unreachable from the initial state via any set of the
transition of DFA.

Step 2: Draw the transition table for all pair of states.

Step 3: Now split the transition table into two tables T1 and T2. T1 contains all final states and
T2 contains non-final states.

Step 4: Find the similar rows from T1 such that:

1. δ (q, a) = p
2. δ (r, a) = p

That means, find the two states which have same value of a and b and remove one of them.

Step 5: Repeat step 3 until there is no similar rows are available in the transition table T1.

Step 6: Repeat step 3 and step 4 for table T2 also.

Step 7: Now combine the reduced T1 and T2 tables. The combined transition table is the
transition table of minimized DFA.

Example

Solution:

Step 1: In the given DFA, q2 and q4 are the unreachable states so remove them.

Step 2: Draw the transition table for rest of the states.

RAVIKANT NIRALA Page 3


COMPILER DESIGN (KCS-502)

Step 3:

Now divide rows of transition table into two sets as:

1. One set contains those rows, which start from non-final sates:

2. Other set contains those rows, which starts from final states.

Step 4: Set 1 has no similar rows so set 1 will be the same.


Step 5: In set 2, row 1 and row 2 are similar since q3 and q5 transit to same state on 0 and 1. So
skip q5 and then replace q5 by q3 in the rest.

Step 6: Now combine set 1 and set 2 as:

Now it is the transition table of minimized DFA.


Step 7: Transition diagram of minimized DFA:

Fig: Minimized DFA

RAVIKANT NIRALA Page 4

You might also like