fixpoint computation | BriefGPT

关键词fixpoint computation

搜索结果 - 1

用一阶逻辑分离正则语言
研究一种决策问题：给定两个有限单词的正则输入语言，判断是否存在第一阶可定义的分隔符；证明可以从识别输入语言的半群中提取充分信息并使用不动点计算以回答此问题，这产生了一个检查一阶可分离性的 EXPTIME 算法；进一步推广此技术以回答针对无限
PDF10 years ago