Certified Parsing of Regular Languages

DOI10.1007/978-3-319-03545-1_7zbMath1303.68077OpenAlexW49365094MaRDI QIDQ2938042

Denis Firsov, Tarmo Uustalu

Publication date: 13 January 2015

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-03545-1_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Certified CYK parsing of context-free languages

Uses Software

• Agda

This page was built for publication: Certified Parsing of Regular Languages