A Formalisation of the Normal Forms of Context-Free Grammars in HOL4

DOI10.1007/978-3-642-15205-4_11zbMath1287.68151OpenAlexW1563095777MaRDI QIDQ3586036

Aditi Barthwal, Michael Norrish

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_11

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

A mechanisation of some context-free language theory in HOL4 ⋮ On the Formalization of Some Results of Context-Free Language Theory

Uses Software

• HOL

This page was built for publication: A Formalisation of the Normal Forms of Context-Free Grammars in HOL4