免费获取文法:面向临时解析器的文法推断
软件工程
2022-07-27 v1
摘要
临时解析器无处不在:每当一个字符串被分割、循环处理、解释、转换或以其他方式处理时,它们就会出现。每个临时解析器都产生一种语言:即程序正常接受而不会出错的输入字符串的(可能是无限的)集合。任何语言都可以用形式文法来描述:一组能够生成该语言所有字符串的有限规则。但程序员并不会为临时解析器编写文法——尽管它们本应极为有用。文法可用作文档、辅助程序理解、生成测试输入,并支持对语言理论安全的推理。我们提出了一种面向临时解析器的自动文法推断系统,除开启软件仓库挖掘与双向解析器合成的新可能外,还能实现上述所有用途。
引用
@article{arxiv.2202.01021,
title = {Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers},
author = {Michael Schröder and Jürgen Cito},
journal= {arXiv preprint arXiv:2202.01021},
year = {2022}
}