Symbolic Encoding of String Lengths
msra
摘要
We present a novel construction for length automata which accept the unary or binary representations of the length of a regular language. The construction can be used for verifi- cation of systems having unbounded strings and integers.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络