J.Endrullis（约格）, J.W.Klop（简·威廉姆）和 R.Bakhshi（雷纳）
2019-12-05
信息学报,第57卷第727页-758
虽然有限状态传感器是非常自然和简单的设备，但令人惊讶的是，人们对它们在流（无限字）上诱导的可转换关系知之甚少。我们收集了几年来一直没有解决的一些有趣的问题。有限状态转导产生的可转导关系产生了流度的偏序，我们称之为变换度，类似于众所周知的图灵度或不可解度。我们证明了存在无上下确界的度对。前一个结果有些令人惊讶，因为如果我们将机器模型加强到图灵机，并且如果我们将其减弱到Mealy机，那么每个有限度集都有一个上确界。
