Automatic Evaluation of Context-Free Grammars (System Description)

DOI10.1007/978-3-319-08918-8_10zbMath1416.68089OpenAlexW1594847506MaRDI QIDQ5170813

Guillem Godoy, Carles Creus

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_10

zbMATH Keywords

equivalenceautomatagrammarshashingSAT

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Uses Software

• SATIRE
• Chaff
• PicoSAT
• HAMPI

This page was built for publication: Automatic Evaluation of Context-Free Grammars (System Description)