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
context-free grammar, and Turing machine execution.
field
meaning
task_id
sp-000 … sp-026
category
dfa / nfa / regex / cfg / tm
prompt
the question and the exact shape of the answer
api_description
the… See the full description on the dataset page:
https://huggingface.co/datasets/eltociear/sipser-tasks-v1.
