Dear Colleagues, For the last two years we have developed an online judge for theory of computation at http://racso.lsi.upc.edu/juez. In particular, we have exercises about context-free grammars. It would be great if you take a look to it. Next July 30 from 14h to 16h (+1GMT) we will organize a global exam (like a contest) about context-free grammars. It would be very nice if you take part on it. Also, if you are interested in preparing a specific global exam on this subject, now the site allows the introduction of new exercises by any user (we can insert your exercises in a future exam if you mark them as private). Inserting a new exercise is very easy: it is not necessary to give a set of tests, just a statement (in latex) and a correct solution (a context-free grammar).
Hi, could one use this judge for educational purposes? For example for homework.
Yes, of course, it is completely open and you can use it for your necessities. It is not necessary to register to make submissions, but you should register if you want to have history of your previous submissions.
¿Es el mateix jutge de TC?
Yes, it is the same judge we use in the "theory of computation" subject at the university.
The visual editor is awesome! :)
The original editor is from "Evan Walance": "http://madebyevan.com/fsm/". My colleague Carles Creus addapted it for our judge. Also, the original hightlighting engine comes from "codemirror", and it was also addapted by Carles Creus to our judge.
just a suggestion. try typing
[Evan Walance](http://madebyevan.com/fsm/)
instead of"Evan Walance": "http://madebyevan.com/fsm/"
.this will make the comment cleaner, also it will give a link to the page (i guess surrounding URL with quotes like you did negates the "link effect").
Thans, I will do it (http://madebyevan.com/fsm/).
I've been looking for something like this for a very long time, it would be great if you add some editorials for the problems like codechef and maybe if you can add some resources (books to read, videos to watch etc) with the editorial it would be awesome. Problems involving parsing are really rare on normal online judges.
Thanks. Since the internet is full of texts and videos about these subject, we prefered not to make specific ones for this site. But we could do that. With respect to the editorial for problems, I suppose you mean an explanation on how to solve some concrete problems (the idea and the solution). I could try to prepare some videos about that.
Cool. Thanks :)