Automatic evaluation of context-free grammars (system description)
Visualitza/Obre
Creus - Godoy2.pdf (434,1Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
10.1007/978-3-319-08918-8-10
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/24226
Tipus de documentText en actes de congrés
Data publicació2014
EditorSpringer
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We implement an online judge for context-free grammars. Our system contains a list of problems describing formal languages, and asking for grammars generating them. A submitted proposal grammar receives a verdict of acceptance or rejection depending on whether the judge determines that it is equivalent to the reference solution grammar provided by the problem setter. Since equivalence of context-free grammars is an undecidable problem, we consider a maximum length l and only test equivalence of the generated languages up to words of length l. This length restriction is very often sufficient for the well-meant submissions. Since this restricted problem is still NP-complete, we design and implement methods based on hashing, SAT, and automata that perform well in practice. © 2014 Springer International Publishing Switzerland.
CitacióCreus, C.; Godoy, G. Automatic evaluation of context-free grammars (system description). A: International Conference on Rewriting Techniques and Applications. "Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : Proceedings". Viena: Springer, 2014, p. 139-148.
ISBN978-3-319-08917-1
Versió de l'editorhttp://link.springer.com/chapter/10.1007%2F978-3-319-08918-8_10
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Creus - Godoy2.pdf | 434,1Kb | Accés restringit |