...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Siberian Mathematical Journal >Elementary Definability of the Class of Universal Planar Automata in the Class of Semigroups
【24h】

Elementary Definability of the Class of Universal Planar Automata in the Class of Semigroups

机译：半群班上普遍平面自动机的基本可定性

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Universal planar automata are universal attracting objects in the category of semigroup automata whose set of states and set of output signals are equipped with algebraic structures of the planes that are invariant under the actions of the transition and output functions. We establish the elementary definability of the class of universal planar automata in the class of semigroups and study the problem of the elementary classification of universal planar automata with the use of first-order theories of input signal semigroups of these automata.
机译：Universal Planar Automata是普遍存在的Semigroup Automata类别中的对象，其一组状态和输出信号集配备有在转换和输出功能的动作下不变的平面的代数结构。 我们在半群体类别中建立了普遍平面自动机的基本可知性，并研究了这些自动机的输入信号半群的一流理论的通用平面自动机基本分类问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号