有限状态转录器的Lipschitz鲁棒性
摘要：有限状态转换器对其输入的不确定性进行鲁棒性检查的问题。我们的鲁棒性概念基于解析的Lipschitz连续性概念 --- 如果转换器的输出扰动最多是输入扰动的K倍，那么它是K-(Lipschitz)鲁棒的。我们使用相似性函数来量化输入和输出的扰动。我们证明了即使对于确定性转换器，K-鲁棒性也是不可判定的。我们确定了一类功能转换器，其对K-鲁棒性具有多项式时间的自动机理论决策过程。这类转换器包括Mealy机和功能字母到字母的转换器。我们还研究了非确定性转换器的K-鲁棒性。由于非确定性转换器为每个输入词生成一组输出词，我们使用集合相似性函数来量化输出扰动。我们证明了非确定性转换器的K-鲁棒性是不可判定的，即使是字母到字母的转换器也是如此。我们确定了一类集合相似性函数，这类函数对于字母到字母的转换器的K-鲁棒性是可判定的。
作者：Thomas A. Henzinger, Jan Otop and Roopsha Samanta
论文ID：1404.6452
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-08