A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda ...

This repository contains a Python implementation of the CYK (Cocke-Younger-Kasami) algorithm, which is used in the field of theoretical computer science for parsing context-free grammars. The CYK ...

Abstract: In this paper,it is researched thoroughly for CYK-algorithm （Cocke - Younger- Kasami）of parsing normal sentence, in particular,it is analyzed thoroughly for the generating algorithm about ...

Abstract: Parsing is a tool for understanding natural grammar patterns. The problem of structural ambiguity in identifying sentence patterns often occurs in parsing. Syntactic parsing is one approach ...

In this paper we present a robust parsing algorithm based on the link grammar formalism for parsing natural languages. Our algorithm is a natural extension of the original dynamic programming ...