Remarks on multihead pushdown automata and multihead stack automata

Satoru Miyano
1983 Journal of computer and system sciences (Print)  
salwlrdas 4314~ aih3Gh3~ aq~ 'sqnsal Aq3Jwafq Jno u;r %ojaJaqJ wwuo3ne I(em-au0 0~ [OI '61 slw.uolne pt3aqyfnw ABM-OM~ uo sqnsal dqmxay atp 8ui3npa-r kq paAoJd s! IlnsaJ Jno L~s~~~uo~ UI *w?uIoane hwauo 01 pagdde s! wauu%a Ouguno3 aql pue Jamod uop!u%oc3a.I aql sask?aKXI! ptFaq yndu! p~~og!ppe ue v3ql allold 01 ew.uouIe LT?M -0~1 JOJ pasn s! luaun&E uoy~z~~auo%e~p aq1 'Qt3nsn wtrurow yws peaq!ynw put? e$wuo]ntr umopqsnd paaqplnru AeM-au0 ~oj y ueql InjDMOd alow aJB speaq 1 + y lt?ql 2 uo!paS u!
more » ... aaold [QM aM 'suoyduxnsse asaq] .Iapun way.Iaurpua aql jo aXraP! -xauou LJ! KIUO [g] u! auo aql uro~j slaj_gp uoggap s!qL vtdu! aql JO pua lq%!J aql ~'t! psaq Indu! auo wtral ~a ql!m awls [eq bq lndu! ua IdaDcc? LayI pw paMollt! IOU ala suo!palap peaq Indu! )tzqJ awnssa aM *adw Indu! aql uo wayleurpua Inoqym [ 8 'g] vleulolna (bases *dsal) UMOpqSnd p"aqppnu h?M-auo Jap!suoD a& 'ladad s!q$ LJI aql MOUSE 01 InjlaMod 0s lou a.w ICay1 putFq Jaqlo aq3 uo lnq Warun%.n2 %uyno:, aql dq pazAlwt! aq 01 xaldwo3 001 ale swuowt! asaql asnwaq lC~uy.u s! s!qL ~~eu~o~ne yews peaq!~[nuI pue WXuolne UMOpqSUd poaq!ynLu I(t?M-WO .IOJ spvaq lndu! JO Jaqwnu aq? 01 padsaJ q$!m dq~.wa!q I? s! alaql v?qJ paAo.rd uaaq IOU seq I! 'nnaMoH -[ E I] ewuovw Jawno psaqypuu &M-au0 put! ewuovw Jawno -y313ls pl3aqy~ntu Atom-au0 '[ 61 wurovw yws ptraqg1t-w kM-0~3 '/or ] ewuow UMOpqSnd peaq!ynuI AEM-~M~ '[ 87 's [-*I '~1 '011 tzwuolnt! ayug pltaqg[ntu At?~-o~l 7 oz-61 '91 '1 I ] ew.uow al!ug peaqp~ntu AaM-au0 fawuow paaqglnuI jo spuy IwaAas .~oj passncwp uaaq saq y ueql JaUaq an? speaq 1 + y JaqlaqM uogsanb aqJ NoIwnao~~NI 'I .ua.@ osle s! sa%en%uk?[ alqeJalunua I(laysJn3aJ JOJ uIaJoaq] uoy]uasaJdaJ v .( 1 Q u akuos Jo_4 7 u! s! .MIMt =7 + ii' aJaqM '7 a%ntausl uoletuolnt? (~3~1s .dSaJ) umopysnd peaq!llnm kt?M-atI0 XUOS JOJ 7 + se uall!JM aq ue3 qJ!qM Qxaldmoz aDeds pue arug )sapJeq aq] q]!M a%tXd?LK?~ e s! aJaq1 e~EuIolne (y3lS .dsaJ) UMopqSnd pI?aq!llnm k?M-OM, JOJ leql UMoqs osle s! 11 .paq!JDsap aJe _sa%nhq IsapJsq" '8181003nE (y38ls 'dSaJ) UMopqsnd pEaq!lfnLu I(EM-OM) JOJ 'uoyppe III '~u!J$S mdu! aql JO pua Iq%!J aql la pr?aq ,ndu! au0 wual P qi!M CJIB~S lsul~ dq Idacw puw adel indu! aql uo sJayJumpua aAeq IOU op LayI J! wewow (qws .dsaJ) uMopqsnd peaq!l[nuI km-au0 JOJ y ueq] Jallaq ale speaq [ + y IEql u~oqs s! $1 2861 'L Jaqura3aa pas!haJ :zg61 'fz wChv pad!asax ONVAI~ nllO.LVS (@fj[) PZI-911 'LZ S33N313S WBISAS (INV WlLOdh'03 d0 IVNl120f
doi:10.1016/0022-0000(83)90032-6 fatcat:c7w5x2kvmfd3dc2dqcg3qepa7u