| RACSORDFACFGOperations: Reg, CFPDAReductions: K, WP, CFG, NP, SATANTLR: lex, synExams | log in, register, guest |
The inception of this judge is due to Carles Creus and Guillem Godoy. Collaborators in each area are detailed below.
All exercise evaluators have been devised and implemented by Carles Creus and Guillem Godoy, with collaborations by Pau Fernández and Nil Mamano for the exercises on syntactic ANTLR descriptions and NP & SAT reductions. For further information on the judging techniques, see the (paywalled) papers about CFGs & PDAs and reductions between NP-complete problems, as well as the (pre-print) paper about syntactic ANTLR descriptions. In particular, one of the techniques for CFGs employs a reduction to SAT.
The website has been developed by Carles Creus and Guillem Godoy. Hosting and maintenance are provided by RDlab. Exercise statements are compiled from LaTeX into HTML with KaTeX, by Khan Academy; the text editor for the exercises is based on CodeMirror, by Marijn Haverbeke and others; the visual editor for DFA & PDA exercises is based on FSM, by Evan Wallace; and stats are plotted with Chart.js, by Evert Timberg and others.
You may contact the authors at their <name>.<surname>@upc.edu e-mail addresses.
© 2012-2026 Carles Creus and Guillem Godoy