[isabelle] New AFP entry: CYK



A formalisation of the Cocke-Younger-Kasami algorithm
Maksym Bortin

The theory provides a formalisation of the Cocke-Younger-Kasami algorithm (CYK for short), an approach to solving the word problem for context-free languages. CYK decides if a word is in the languages generated by a context-free grammar in Chomsky normal form. The formalized algorithm is executable.

http://www.isa-afp.org/entries/CYK.shtml

Enjoy!

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.