finite automaton; nested-word automaton; decision procedure; palindrome; additive number theory;
机译:回文总结:通过自动机的一种方法
机译:设计具有三个输入字符的回文有限自动机的新方法
机译:使用语法的DNA拼接语言和非回文限制酶的自动机
机译:palindromes的总和:通过自动机的方法
机译:基于I / O自动机的Web服务编排的正式方法。
机译:贝叶斯加权总和:灵活的估计综合混合效应的方法
机译:每个正整数是三个回文的总和
机译:当旧测试的测试信息不恒定时的操作特性的估计。 II。条件p.D.F的简单求和过程使用旧测试的三个子测试的方法/正态方法,数字