The graphs of finite monadic semi-thue systems have a decidable monadic second-order theory

机译：有限元半论系统的图表具有可判定的Monadic二阶理论

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The monadic second order theory of graphs of finite monadic semi-thue systems is shown to be decidable.Limitations of monadic semi-Thue systems as graph description technique are discussed.

机译：有限元半论系统图的图形二阶二阶理论被认为是可判定的。讨论了图表描述技术的Monadic半卷系统。

著录项

来源
《Discrete mathematics and theoretical computer science conference》|1999年||共13页
会议地点
作者
Teodor Knapik; Hugues Calbrix;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. On infinite transition graphs having a decidable monadic theory [J] . Didier Caucal Theoretical computer science . 2003,第1期

机译：具有可判定单子理论的无限过渡图
2. HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas [J] . Hendrik Radke Electronic Communications of the EASST . 2013,第1期

机译：计算单子二阶和二阶图公式之间的HR *图条件
3. On the relationships between theories of time granularity and the monadic second-order theory of one successor [J] . Angelo Montanari, Adriano Peron, Gabriele Puppis Journal of applied non-classical logics . 2006,第3a4期

机译：时间粒度理论与一个继任者的单子二阶理论之间的关系
4. The graphs of finite monadic semi-thue systems have a decidable monadic second-order theory [C] . Teodor Knapik, Hugues Calbrix Discrete mathematics and theoretical computer science conference . 1999

机译：有限元半论系统的图表具有可判定的Monadic二阶理论
5. Monadic and substructural type systems for region-based memory management. [D] . Fluet, Matthew. 2007

机译：用于基于区域的内存管理的单子和子结构类型系统。
6. Five-Year-Olds’ Systematic Errors in Second-Order False Belief Tasks Are Due to First-Order Theory of Mind Strategy Selection: A Computational Modeling Study [O] . Burcu Arslan, Niels A. Taatgen, Rineke Verbrugge -1

机译：二阶错误信念任务中的五岁儿童系统错误归因于心理策略选择的一阶理论：计算模型研究
7. The monadic second-order logic of graphs. I. Recognizable sets of finite graphs [O] . Courcelle Bruno 1990

机译：图的单子二阶逻辑。一，可识别的有限图集
8. Weak Monadic Second Order Theory of Successor is Not Elementary-Recursive. [R] . meyer,albert r. 1974

机译：弱的一元二阶继承理论不是基本的 - 递归的。

The graphs of finite monadic semi-thue systems have a decidable monadic second-order theory

摘要

著录项

相似文献

相关主题

期刊订阅