机构

• 数学与系统科学研究院 [1]
• 自动化研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2021 [1]
• 2015 [1]
• 2011 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Ensuring the Correctness of Regular Expressions: A Review 期刊论文  OAI收割 International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535 作者:  Li-Xiao Zheng   |  收藏  |  浏览/下载：24/0  |  提交时间：2021/07/20 Regular expressions  correctness  string generation  learning  static checking  verification  visualization, repairing   Deciding determinism of unary languages 期刊论文  OAI收割 INFORMATION AND COMPUTATION, 2015, 卷号: 245, 页码: 181-196 Lu, P; Peng, FF; Chen, HM; Zheng, LX   |  收藏  |  浏览/下载：30/0  |  提交时间：2016/12/13 Regular expressions  Regular expressions with counting  Deterministic languages  Minimal DFA  coNP-complete  Pi(p)(2)   Automata theory based on lattice-ordered semirings 期刊论文  OAI收割 SOFT COMPUTING, 2011, 卷号: 15, 期号: 2, 页码: 269-280 作者:  Lu, Xian;  Shang, Yun;  Lu, Ruqian   |  收藏  |  浏览/下载：18/0  |  提交时间：2018/07/30 Lattice-ordered semirings  K automata  K regular languages  K regular expressions  K regular grammars