×
德米特里·特拉泰尔;托比亚斯·尼普科

验证了基于正则表达式导数的单词的MSO决策过程。 （英语） Zbl 1323.68346号

2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN Notices 48，No.9，3-12（2013）。

引用于三文件

MSC公司：

65年第68季度 形式语言和自动机
03B25号 理论和句子集的可判定性
05年3月 与逻辑问题相关的自动机和形式文法
68甲18 函数编程和lambda演算
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

Brzozowski衍生物;决策程序;交互式定理证明;伊莎贝尔;MSO公司;正则表达式;WS1S系统

软件：

伊莎贝尔;MSO_Regex_当量
PDF格式BibTeX公司 XML格式引用
\textit{D.Traytel}和\textit{T.Nipkow}，in：第18届ACM SIGPLAN函数编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。3-12（2013年；Zbl 1323.68346）
全文： 内政部 链接