non-deterministic pushdown automaton

non-deterministic pushdown automaton

Definition

A

non-deterministic pushdown automaton

(NPDA), or just

pushdown automaton

(PDA) is a

variation

on the idea of a

non-deterministic finite automaton

(NDFA). Unlike an NDFA, a PDA is associated with a stack (hence the name

pushdown

). The

transition function

must also take into account the “state” of the stack.

Formally defined, a pushdown automaton

M

is a 7-tuple

M

=

(

Q

,

Σ

,

Γ

,

T

,

q

0

,

⊥

,

F

)

, where

Q

,

Σ

,

q

0

,

and

F

, like those in an NDFA, are the set of states, the input

alphabet

, the start state, and the set of final states respectively.

Γ

is the

stack alphabet

, specifying the set of symbols that can be pushed onto the stack.

Γ

is not necessarily

disjoint

from

Σ

.

⊥

is an element of

Γ

called the

start stack symbol

. The transition function is

T

:

Q

×

(

Σ

∪

{

λ

}

)

×

Γ

→

𝒫

⁢

(

Q

×

Γ

*

)

.

How It Works

To see how the computing

machine

M

works, first imagine

M

with the following features:

1.

a

finite set

Q

of internal states,

2.

a horizontal tape of cells each containing an input symbol of

Σ

,

3.

a tape reader that reads at most one tape cell in any given internal state, and

4.

a vertical stack of cells storing symbols of

Γ

.

Now, given that

M

is in state

p

, with symbol

A

on top of the stack, and tape reader pointing at a tape cell containing symbol

a

, it may do one of the following:

•

if

T

⁢

(

p

,

a

,

A

)

≠

∅

, then it

(a)

“pops”

A

off the stack,

(b)

“pushes” word

A

1

⁢

⋯

⁢

A

n

onto the stack, by starting with symbol

A

n

, and ending with symbol

A

1

,

(c)

“consumes”

a

by moving the tape reader to the right of the cell containing

a

, and

(d)

enters state

q

,

provided that

(

q

,

A

1

⁢

⋯

⁢

A

n

)

∈

T

⁢

(

p

,

a

,

A

)

; if

T

⁢

(

p

,

a

,

A

)

=

∅

, then

M

does nothing.

•

if

T

⁢

(

p

,

λ

,

A

)

≠

∅

, then, without reading

a

, it

(a)

“pops”

A

off the stack,

(b)

“pushes” word

A

1

⁢

⋯

⁢

A

n

onto the stack, and

(c)

enters state

q

,

as long as

(

q

,

A

1

⁢

⋯

⁢

A

n

)

∈

T

⁢

(

p

,

λ

,

A

)

; if

T

⁢

(

p

,

λ

,

A

)

=

∅

, then

M

does nothing.

If

(

q

,

λ

)

∈

T

⁢

(

p

,

a

,

A

)

, then

A

gets popped off, and nothing gets pushed onto the stack.

Modes of Acceptance

A PDA is a

language

acceptor. We describe how words are accepted by a PDA

M

. First, we start with

configurations

.

A configuration of

M

is an element of

Q

×

Σ

*

×

Γ

*

. For any word

u

, the configuration

(

q

0

,

u

,

⊥

)

is called the

start configuration

of

u

. A

binary relation

⊢

on the set of configurations is defined as follows: if

(

p

,

u

,

α

)

and

(

q

,

v

,

β

)

are configurations of

M

, then

(

p

,

u

,

α

)

⊢

(

q

,

v

,

β

)

provided that

α

=

A

⁢

γ

and

β

=

B

1

⁢

⋯

⁢

B

n

⁢

γ

, for some

A

,

B

1

,

…

,

B

n

∈

Γ

, and

•

either

u

=

a

⁢

v

, and

(

q

,

B

1

⁢

⋯

⁢

B

n

)

∈

T

⁢

(

p

,

a

,

A

)

,

•

or

u

=

v

, and

(

q

,

B

1

⁢

⋯

⁢

B

n

)

∈

T

⁢

(

p

,

λ

,

A

)

.

Now, take the

reflexive transitive closure

⊢

*

of

⊢

. When

(

p

,

u

,

α

)

⊢

*

(

q

,

v

,

β

)

, we say that

v

is

derivable

from

u

. A word

u

∈

Σ

*

is said to be

•

accepted on final state by

M

if

(

q

0

,

u

,

⊥

)

⊢

*

(

q

,

λ

,

α

)

for some final state

q

∈

F

,

•

accepted on empty stack by

M

if

(

q

0

,

u

,

⊥

)

⊢

*

(

q

,

λ

,

λ

)

,

•

accepted on final state and empty stack by

M

if

(

q

0

,

u

,

⊥

)

⊢

*

(

q

,

λ

,

λ

)

for some

q

∈

F

.

Languages Accepted by a PDA

Given a mode of acceptance, the set of words accepted by

M

is called the language accepted by

M

based on that mode of acceptance. Given a PDA

M

, there are three languages accepted by

M

, corresponding to the three acceptance modes above.

It turns out that three modes of acceptance are

equivalent

, in the following sense: if a language

L

is accepted by

M

on one acceptance mode, there are PDA

M

1

and

M

2

that accept

L

in the other two acceptance modes.

In general, unless otherwise stated, the language

L

⁢

(

M

)

accepted by a PDA

M

stands for the language accepted by

M

on final state.

Remarks

.

1.

Two PDAs are said to be equivalent if they accept the same language. It can be shown that any PDA is equivalent to a PDA where

T

⁢

(

p

,

λ

,

A

)

=

∅

for all

p

∈

F

and

A

∈

Γ

(called a

λ

-free PDA).

2.

One of the main reasons for studying PDA is: the notion of a PDA is equivalent to the notion of a

context-free grammar

. This means that, every language accepted by a PDA is context-free, and every context-free language is accepted by some PDA.

Representation by State Diagrams

Like an NDFA, a PDA can be presented visually as a

directed graph

, called a

state diagram

. Instead of simply

labelling

edges representing transitions with the leading symbol, two additional symbols are added, representing what symbol must be matched and removed from the top of the stack (or

λ

if none) and what symbol should be pushed onto the stack (or

λ

if none). For

instance

, the notation

a A/B

for an edge label indicates that

a

must be the first symbol in the remaining input string and

A

must be the symbol at the top of the stack for this transition to occur, and after the transition,

A

is replaced by

B

at the top of the stack. If the label had been

𝚊

⁢

λ

/

𝙱

, then the symbol at the top of the stack would not matter (the stack could even be empty), and

B

would be pushed on top of the stack during the transition. If the label had been

𝚊

⁢

𝙰

/

λ

,

A

would be popped from the stack and nothing would replace it during the transition.

For example, consider the alphabet

Σ

:=

{

(

,

)

}

.
Let us define a context-free language

L

that consists of strings where the parentheses are

fully balanced

. If we define

Γ

:=

{

A

}

,
then a PDA for accepting such strings is:

Generated on Thu Feb 8 20:01:14 2018 by

LaTeXML