加权自动机的泵引理
摘要：五种基于加权自动机片段的函数的泵引理的表述：对于min-plus半环、max-plus半环以及自然数半环，我们提出了五个类别的函数的泵引理。作为后果，我们证明了一类函数的层次结构的严格性，这类函数是通过清晰、有限清晰、多项式清晰加权自动机定义的，并且对于min-plus和max-plus半环来说，这一层次结构是严格的。
作者：Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl and Cristian Riveros
论文ID：2001.06272
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22