使用学习的 VPAs 验证流式 JSON 文档
摘要：使用一种新的流算法对JSON文档根据给定的JSON模式进行验证。我们证明了总会存在一个可见推下式有限自动机（VPA），它与JSON模式接受相同的JSON文档集合。借助这个结果，我们的方法依赖于学习一个针对提供的模式的VPA。由于学习到的VPA假设对象的键值对具有固定的顺序，我们将其转换为一种特殊类型的图，并提出了一种使用VPA及其图来决定JSON文档是否对模式有效的高效流算法。我们在一些随机的JSON文档上评估了我们算法的实现，并将其与经典验证算法进行了比较。
作者：V''eronique Bruy`ere, Guillermo A. Perez, Ga"etan Staquet
论文ID：2211.08891
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-15