Expressiveness of WellStructured Pushdown Systems

Abstract

Abstract:

Abstract： A well-structured pushdown system(WSPDS) is a pushdown system equipped with well-quasi-order states and a well-quasi-order stack alphabet. It is shown that several extensions of vector addition systems can be reduced to a WSPDS. By applying post-order calculation of its derivation tree, the branching vector addition system can be encoded to some WSPDS. The recursive vector addtion system is a special class of WSPDS if a stack is explicitly introduced to its transitions. The vector addtion system with one zero-test can be encoded to some WSPDS where the depth of the stack represents the dimension for zerotest. These results exhibit the powerful expressivenss of WSPDS.

Key words: well-structured pushdown system, well-quasi-order, vector addition system, reachability problem

CLC Number:

TP 301.2

JIN Yang,CAI Xiaojuan,LI Guoqiang. Expressiveness of WellStructured Pushdown Systems[J]. Journal of Shanghai Jiaotong University, 2015, 49(08): 1084-1089.

[1]	YANG Zhen,FU Zhuang,GUAN Enguang,XU Jiannan,TIAN Shihe,ZHENG Hui. The Kinematic Analysis and Structure Optimization of MLattice Modular Robot [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1153-1159.
[2]	ZHAO Jun1,YU Haidong2. Dynamic Analysis of TwoLink Flexible Manipulators Based on the Absolute Nodal Coordinate Formulation [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1160-1165.
[3]	ZHAO Ziren1,DU Shichang1,HUANG Delin1,REN Fei2,LIANG Xinguang2. Modelling and Bottleneck Analysis of Product Quality in Transient Phase of MultiStage Manufacturing Systems Based on Markovian Chains [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1166-1173.
[4]	HUANG Xuangui. Algorithm for Relatively Small Planted Clique with Small Edge Probability [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1202-1206.
[5]	LUO Jingjinga,YU Haidonga,ZHAO Chunzhanga,b,WANG Haoa,b. Study on Motion Stability of Variable CrossSection Flexible Beams Based on the Absolute Nodal Coordinate Formulation [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1174-1180.
[6]	WANG Yibo1,HUANG Yixiang1,LI Bingchu1,LING Xiao1 ZHAO Shuai1,LIU Chengliang1,ZHANG Daqing2. An Improved Modal Simulation Method for Switched Reluctance Motor Based on Static PreComputation [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1181-1188.
[7]	ZHOU Binghai,LI Ming. Scheduling Method of Manufacturing Cells with Robot Restricted Processing [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1214-1219.
[8]	CHEN Jinping1,ZHANG Shusheng1,HE Weiping1,WANG Mingwei1,HUANG Hui2. Feasible Change Path Search and Optimization Method Based on Driving Parameter Modeling [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1220-1227.
[9]	ZHOU Penghui,MA Hongzhan,CHEN Dongping,CHEN Mengyue,CHU Xuening. Identification of Product Redesign Modules Based on Fuzzy Random Failure Mode and Effects Analysis [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1189-1195.
[10]	PENG Cheng,ZHU Jianyun,CHEN Li. Mode Transition for a Hybrid Electric Vehicle Based on Model Reference Control [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1196-1201.
[11]	LIU Wei,YANG Chao . A Study on Injection Mould Part Quotation Model Based on Back Propagation Neural Network [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1207-1213.
[12]	CHEN Suting，WANG Zhuo，WANG Qi. Aerial Scene Classification Based on Nonlinear Scale Space [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1228-1234.
[13]	CHEN Ning,HE Xiaobin,GUI Weihua,YANG Chunhua. Research on Image Encryption System Based on Chaotic Discrete Sequence [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1273-1280.
[14]	LIU Kaia，ZHANG Liminb，ZHOU Lijuna. Design of Random Restricted Boltzmann Machine Group [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1235-1240.
[15]	ZHU Xinyao1，SONG Baowei2,XU Gang1,YANG Songlin1. Research on Landing Strategy and Influencing Factors of an Autonomous Underwater Vehicle with Supporting Mechanism [J]. Journal of Shanghai Jiaotong University, 2017, 51(10): 1241-1251.

Expressiveness of WellStructured Pushdown Systems

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments