Pushdown Automata
L
=
{
0
i
1
2
i
0
i
:
i
≥
0
}
,
sobre
Σ
=
{
0
,
1
}
L = \lbrace 0^i1^{2i}0^i: i\geq0 \rbrace, \text{sobre } \Sigma = \lbrace 0, 1 \rbrace
L
=
{
0
i
1
2
i
0
i
:
i
≥
0
}
,
sobre
Σ
=
{
0
,
1
}
Input:
▶️
finite_state_machine
qi
q0
q0
qi->q0
q1
q1
q0->q1
1. 0, # / AA#
2. 0,# / B#
q1->q1
1. 0, A / AAA
2. 0,B / BB
q2
q2
q1->q2
1. 1, A / λ
q2->q2
1. 1, A / λ
q3
q3
q2->q3
2. 0, B / λ
q3->q3
2. 0, B / λ
q4
q4
q3->q4
2. λ, # / #
#
#