阿托·萨洛马 反应系统和命题逻辑之间的函数结构。 （英语） Zbl 1359.68075号 发现的国际期刊。计算。科学。 24，第1期，147-159（2013）. 摘要：我们研究了的形式属性，主要是与命题逻辑相关的问题反应系统由Ehrenfeucht和Rozenberg介绍。我们只关注最简单的系统变体。命题公式的基本性质用反应系统表示。这导致了与反应系统有关的许多问题的NP完全性（即co-NP完全性）。这些问题包括：（i）确定系统定义的函数是否为总函数，（ii）确定函数的逆函数，（iii）确定状态序列是否总是以循环结束。具有单调真值函数的命题公式在反应系统方面产生了特别简单的表示。 引用于21文件 MSC公司： 2005年第68季度 计算模型（图灵机等）（MSC2010） 03B05号 经典命题逻辑 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：反应系统;真实功能;单调函数;总函数;NP-完整性;抑制剂;反应物 PDF格式BibTeX公司 XML格式引用 \textit｛A.Salomaa｝，国际发现杂志。计算。科学。24，第1号，147--159（2013；Zbl 1359.68075） 全文： 内政部 参考文献： [1] Brijder R.，《计算机科学》22，第1499页–（2011年） [2] Ehrenfeucht A.，《计算机科学》22，第167页–（2011） [3] Ehrenfeucht A.，《基础信息》7，第263页–（2007年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。