limited automata and context-free...
TRANSCRIPT
![Page 1: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/1.jpg)
Limited Automata and Context-Free Languages
Giovanni Pighizzini Andrea Pisoni
Dipartimento di InformaticaUniversità degli Studi di Milano, Italy
NCMA 2013Umeå, Sweden
August 13–14, 2013
![Page 2: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/2.jpg)
The Chomsky Hierarchy
type 01-tape Turing Machines
type 1Linear Bounded Automata
type 2Pushdown Automata
type 3Finite Automata
![Page 3: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/3.jpg)
Limited Automata [Hibbard’67]
One-tape Turing machines with restricted rewritings
DefinitionFixed an integer d ≥ 1, a d-limited automaton is
I a one-tape Turing machineI which is allowed to rewrite the content of each tape cell
only in the first d visits
Computational power
I For each d ≥ 2, d -limited automata characterizecontext-free languages [Hibbard’67]
I 1-limited automata characterize regular languages[Wagner&Wechsung’86]
![Page 4: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/4.jpg)
The Chomsky Hierarchy
type 01-tape Turing Machines
type 1Linear Bounded Automata
type 22-Limited Automata
type 3Finite Automata
![Page 5: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/5.jpg)
Our Contributions
I 2-Limited Automata ≡ Pushdown Automata:descriptional complexity point of view
2-LAs → PDAsExponential gap
PDAs → 2-LAsPolynomial upper bound
I Determinism vs Nondeterminism
Deterministic Context-Free Languages ≡ Deterministic 2-LAs
![Page 6: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/6.jpg)
Example: Balanced Parentheses
B
6
(
(#
6
)
##
6
(
(#
6
(
(#
6
(
(#
6
)
##
6
)
##
6
)
##
6
C
6−→ ←−yes!
(i) Move to the right to search a closed parenthesis(ii) Rewrite it by #
(iii) Move to the left to search an open parenthesis(iv) Rewrite it by #
(v) Repeat from the beginning
Special cases:(i’) If in (i) the right end of the tape is reached then
scan all the tape and accept iff all tape cells contain #
(iii’) If in (iii) the left end of the tape is reached then reject
Each cell is rewritten only in the first 2 visits!
![Page 7: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/7.jpg)
Simulation of 2-Limited Automata by Pushdown Automata
ProblemHow much it costs, in the description size,the simulation of 2-LAs by PDAs? This work
Exponential cost!
![Page 8: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/8.jpg)
Transition Tables of 2-LAs
I Fixed a 2-limited automatonI Transition table τw w is a “frozen” string
τw ⊆ Q × {−1,+1} × Q × {−1,+1}
p
q
w
q
p
w
(q,−1, p,−1) ∈ τw (q,+1, p,−1) ∈ τw
j−→j
←− j←−j←−
(q, d ′, p, d ′′) ∈ τw iff M on a tape segment containing w hasa computation path:
entering the segment in q from d ′
exiting the segment in p from d ′′
left = −1, right = +1
![Page 9: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/9.jpg)
Simulation of 2-LAs by PDAs
Initial configuration
B Ca b c d e f g h i . . .
q0
6
2-LA
. . .a b c d e f g h i
q0
6
-PDA
After some steps...
B CaXA bB cX dY eZE fF g h i . . .
�� ��
q
6
2-LA
. . .a b c d e f g h i
τEF
YXτAB
q
6 -
PDA
n
��� n
nn
n n���
![Page 10: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/10.jpg)
Simulation of 2-LAs by PDAs
B CA B X Y E F g h i . . .
�� ��
q
6
2-LA
. . .a b c d e f g h i
τEF
YXτAB
q
6 -
PDA
δ(q, g) 3 (p,Z ,+1)move to the right
⇓
normal modepush and direct simulation
⇓
B CA B X Y E F Z h i . . .
�� ��
p
6
2-LA
. . .a b c d e f g h iZτEF
YXτAB
p
6-
PDA
nn
![Page 11: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/11.jpg)
Simulation of 2-LAs by PDAs
B CA B X Y E F Z h i . . .
�� ��
p
6
2-LA
. . .a b c d e f g h iZτEF
YXτAB
p
6-
PDA
δ(p, h) 3 (r ,H,−1)move to the left
⇓back mode
⇓
B CA B X Y E F Z H i . . .
�� �� ��
r
6
2-LA
. . .a b c d e f g h iZτEF
YXτAB
r , τH
6-
PDAn
n
![Page 12: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/12.jpg)
Simulation of 2-LAs by PDAs
B CA B X Y E F Z H i . . .
�� �� ��
r
6
2-LA
. . .a b c d e f g h iZτEF
YXτAB
r , τH
6-
PDA
δ(r ,Z ) 3 (q,G ,−1)move to the left
⇓back mode
⇓
B CA B X Y E F G H i . . .
�� �� ��
q
6
2-LA
. . .a b c d e f g h i
τEF
YXτAB
q, τGH
6 -
PDAn
���
![Page 13: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/13.jpg)
Simulation of 2-LAs by PDAs
B CA B X Y E F G H i . . .
�� �� ��
q
6
2-LA
. . .a b c d e f g h i
τEF
YXτAB
q, τGH
6 -
PDA
(q,+1, s,−1) ∈ τEF
exit to the left⇓
back mode
⇓
B CA B X Y E F G H i . . .
�� �� ��
s
6
2-LA
. . .a b c d e f g h i
YXτAB
s, τE···H
6
-
PDA
� �
�� �
![Page 14: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/14.jpg)
Simulation of 2-LAs by PDAs
B CA B X Y E F G H i . . .
�� �� ��
s
6
2-LA
. . .a b c d e f g h i
YXτAB
s, τE···H
6
-
PDA
δ(s,Y ) 3 (p,D,+1)move to the right
⇓back mode
⇓
B CA B X D E F G H i . . .
�� �� ��XX
p
6
2-LA
. . .a b c d e f g h i
τDXτAB
p, τE···H
6
-
PDA
� �
�� �
nn
![Page 15: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/15.jpg)
Simulation of 2-LAs by PDAs
B CA B X D E F G H i . . .
�� �� ��XX
p
6
2-LA
. . .a b c d e f g h i
τDXτAB
p, τE···H
6
-
PDA
(p,−1, r ,+1) ∈ τE···Hexit to the right
⇓
resume normal modemove to the right
⇓
B CA B X D E F G H i . . .
�� �� ��XX
r
6
2-LA
. . .a b c d e f g h i
τD···H
XτABr
6
-
PDA
� ��� �
nn
n
���
![Page 16: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/16.jpg)
Simulation of 2-LAs by PDAsSumming up...
Cost of the simulationI In the resulting PDA transition tables are used for
statespushdown alphabet
I Exponential upper bound for the size of the resulting PDAI Optimal
Determinism vs nondeterminism
I Determinism is preserved by the simulationprovided that the input of the PDA is right end-marked
I Double exponential size for the simulation of D2-LAs byDPDAs
I Conjecture: this cost cannot be reduced
![Page 17: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/17.jpg)
Simulation of Pushdown Automata by 2-Limited Automata
PDAs → 2-LAsPolynomial cost! DPDAs → D2-LAs
Polynomial cost!
(in the description size)
![Page 18: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/18.jpg)
Simulation of PDAs by 2-LAs
B CX � � X Y f g h i . . .
q,Z
6
2-LA
. . .a b c d e f g h i
ZYXXq
6 -
PDA
mm
���
� �
Normal form for (D)PDAs:I at each step, the stack height increases at most by 1I ε-moves cannot push on the stack
Each (D)PDA can be simulated by an equivalent (D)2-LAof polynomial size
![Page 19: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/19.jpg)
Determinism vs Nondeterminism in Limited Automata
Corollary of the simulations
Deterministic 2-LAs ≡ Deterministic Context-Free Languages
On the other hand, the language
L = {anbnc | n ≥ 0} ∪ {anb2nd | n ≥ 0}
is accepted by a deterministic 3-LA, but it is not a DCFL
Infinite hierarchy [Hibbard’67]
For each d ≥ 2 there is a language which is accepted by adeterministic d-limited automaton and that cannot beaccepted by any deterministic (d − 1)-limited automaton
![Page 20: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/20.jpg)
Futher Investigations
I Descriptional complexity aspects for d > 2We conjecture that for d > 2 the size gap from d -limitedautomata to PDAs remains exponential
I Descriptional complexity aspects in the unary case
Unary context-free language are regular [Ginbsurg&Rice’62]
Ex: Ln = (a2n)∗
size2-LA O(n)DPDA O(n)minimal DFA 2n
minimal 2NFA 2n
![Page 21: Limited Automata and Context-Free Languagespighizzini.di.unimi.it/talks/2013/ncma2013-handout.pdf · Limited Automata and Context-Free Languages GiovanniPighizzini AndreaPisoni Dipartimento](https://reader035.vdocuments.us/reader035/viewer/2022062607/60472d103d37eb669a2e6e0c/html5/thumbnails/21.jpg)
Thank you for your attention!