摘要：基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型,常用于事件驱动的并发程序或分布式程序建模.然而当模型包含递归过程调用时,即使仅考虑执行有限次上下文切换,其可达性问题仍是不可判定的.假定进程的消息队列约束为良序,即仅当进程的局部栈为空时才能从队列中读取消息,则其在上下文切换定界上的可达性为可判定.文中以基于队列通信的递归并发程序为对象,研究其可达性问题.首先构造能模拟递归队列并发程序执行的多栈下推系统,并提出转换方法;然后给出一种基于多栈下推系统的上下文切换定界可达算法,算法使用标准Post*操作描述下推系统的迭代,基于良序排队控制进程对队列的出队操作,穷尽地计算k次上下文切换之内的正向可达格局,并证明了构造多栈下推系统方法和上下文切换定界可达算法的正确性;最后对目标状态集合与可达格局状态集合的交集进行判空,确定目标状态是否可达,从而较好地解决此类并发程序的可达性问题.
 以下的关键词都是这篇摘要合适的关键词吗？关键词：上下文定界，可达性，良序排队，良序排队。答案是：
选项：是的，不是
答案：不是

这篇新闻会出现在哪个栏目？小李探花的诗词365之第194天
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：文化

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?为了美也是拼了，唐嫣腿上抹油，Baby全身涂粉，难道要用卸妆
答案：娱乐

什么类别最好的描述了这段话？股民为何这么惨的三点原因？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：科技

以下两句话的意思相同的吗？“我的支付宝账户怎么开通不了花呗，借呗这些功能”，“我怎么还是开通不了花呗和借呗”。选项：是的，不是。答案：是的

这是关于哪方面的新闻？凯西当选最佳主教练仍被解雇？盘点21世纪的两位千胜教头也上榜
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：体育

这篇新闻会出现在哪个栏目？芝麻信用分650以上，租房可以免押金！还不快来提高你的芝麻分？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：房产

这是关于哪方面的新闻？“一带一路”上的文化明珠
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：财经

这个句子“花呗可以推迟一点还款吗”转述(意思是一样的)了下面这句话？“花呗可以都十号还吗”。选项：是的，不是。答案：不是

这篇新闻会出现在哪个栏目？楼市未来会迎来降价潮吗？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：房产

以下两句话的意思相同的吗？“我想终止花呗，怎么办”，“我想停用花呗”。选项：是的，不是。答案：是的

哪个类别最好的描述了这篇新闻？大众EA111的正时链条需要更换吗？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：汽车

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?什么音乐听着让人心旷神怡？
答案：娱乐

我想知道下面两句话的意思是否相同。“如果借呗额度降低会有通知吗”，“借呗多久不用会降额度”是相同的吗？。选项：是的，不是。答案：不是

这是关于哪方面的新闻？手机耗电很快不知道怎么办？教你一招，学会让手机待机加几天！
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：科技

这是关于哪方面的新闻？炫酷合金仿真的模型，看一眼就喜欢，绝对让您爱不释手
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：汽车

这是关于哪方面的新闻？17款斯柯达野帝1.4T前行款怎么样？现在值得入手吗？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：汽车

这是关于哪方面的新闻？中国护照再次升值
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：旅游

哪个类别最好的描述了这篇新闻？王煜：春秋航空新掌门的新打法
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：财经

什么类别最好的描述了这段话？土地确权多了几亩地，是好事还是坏事？
选项：故事，文化，娱乐，体育，财经，房产，汽车，教育，科技，军事，旅游，国际，股票，农业，游戏
答案：财经

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?印度肢解一国吞并一国，持续数十年的战争，为何没有印度威胁论？
答案：军事

哪个类别最好的描述了这个APP应用程序？三星直装字体，专为三星手机制作的简繁娃娃体软件，无需ROOT，无需重启，三星GalaxyNote可用使用方法设置>显示>字体风格>字体,,优化系统性能，体验更顺畅。
选项：银行，社区，电商，支付，经营，卡牌，借贷，驾校，理财，职考，新闻，旅游，交通，魔幻，医疗，影像，动作，工具，体育，小说，运动，相机，工具，快递，教育，股票，菜谱，行车，仙侠，亲子，购物，射击，漫画，小学，同城，成人，求职，电子，艺术，赚钱，约会，经营，兼职，视频，音乐，英语，棋牌，摄影，养生，办公，政务，视频，论坛，彩票，直播，其他，休闲，策略，通讯，买车，违章，地图，民航，电台，语言，搞笑，婚恋，超市，养车，杂志，在线，家政，影视，装修，资讯，社交，餐饮，美颜，挂号，飞行，预定，票务，笔记，买房，外卖，母婴，打车，情侣，日程，租车，博客，百科，绘画，铁路，生活，租房，酒店，保险，问答，收款，竞技，唱歌，技术，减肥，工作，团购，记账，女性，公务，二手，美妆，汽车，行程，免费，教辅，两性，出国，婚庆，民宿
答案：工具

这是关于哪方面的新闻： 故事,文化,娱乐,体育,财经,房产,汽车,教育,科技,军事,旅游,国际,股票,农业,游戏?什么？星巴克卖身雀巢，2千万传统企业路在何方？
答案：科技