Certified CYK parsing of context-free languages

Denis Firsov; Tarmo Uustalu

首页> 外文期刊>Journal of Logic and Algebraic Programming >Certified CYK parsing of context-free languages

【24h】

Certified CYK parsing of context-free languages

机译：无需上下文的语言的经过认证的CYK解析

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

We report a work on certified parsing for context-free grammars. In our development we implement the Cocke-Younger-Kasami parsing algorithm and prove it correct using the Agda dependently typed programming language.

机译：我们报告了有关上下文无关语法的认证解析的工作。在我们的开发中，我们实现了Cocke-Younger-Kasami解析算法，并使用Agda依赖类型的编程语言证明了它的正确性。

著录项

来源
《Journal of Logic and Algebraic Programming》 |2014年第6期|459-468|共10页
作者
Denis Firsov; Tarmo Uustalu;
展开▼
作者单位

Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia;

Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Certified programs; Parsing; Cocke-Younger-Kasami algorithm; Dependently typed programming; Agda;

机译：认证程序;解析;Cocke-Younger-Kasami算法;依赖类型的编程;阿格达;

相似文献

外文文献
中文文献
专利

1. Chomsky-Schützenberger parsing for weighted multiple context-free languages [J] . Tobias Denkinger Journal of Language Modelling . 2017,第1期

机译：Chomsky-Schützenberger解析多种加权的无上下文语言
2. Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages [J] . Jean-Philippe Bernardy, Koen Claessen ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第9期

机译：实用的无上下文语言的高效分治法
3. Parsing Local Internal Contextual Languages with Context-Free Choice [J] . Radu Gramatovici, Florin Manea Fundamenta Informaticae . 2005,第1a4期

机译：使用无上下文选择来解析本地内部上下文语言
4. Indonesian Parsing using Probabilistic Context-Free Grammar (PCFG) and Viterbi-Cocke Younger Kasami (Viterbi-CYK) [C] . Denis Eka Cahyani, Langlang Gumilar, Ajie Pangestu International Seminar on Research of Information Technology and Intelligent Systems . 2020

机译：印尼解析使用概率无背景语法（PCFG）和维特比-Cocke年轻Kasami（维特比西）
5. PARSABLE SUBCLASSES OF EXTENSIONS TO CONTEXT-FREE GRAMMARS. [D] . SEBESTA, ROBERT WAYNE -1

机译：扩展到无上下文语法的可扩展子类。
6. Applying Semantic-based Probabilistic Context-Free Grammar to Medical Language Processing – A Preliminary Study on Parsing Medication Sentences [O] . Hua Xu, Samir AbdelRahman, Yanxin Lu, -1

机译：将基于语义的概率无容论语法应用于医学语言处理 - 解析药物判决的初步研究
7. Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda [O] . Bernardy, Jean-Philippe, Jansson, Patrik 2016

机译：认证的上下文无关解析：Agda中Valiant算法的形式化

Certified CYK parsing of context-free languages

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅