eltociear/sipser-tasks-v1

sipser-tasks-v1: RL dataset on Hugging Face. 27 automata-and-formal-languages tasks for the sipser-env RL environment, on the topics of Introduction to the Theory of Computation (Sipser): DFA and NFA simulation, the subset construction, DFA minimisation, regular expressions, CYK parsing of a…