#annotated term  #announcement  #automata  #benchmark  #context-free grammar  #context-free language  #dfa  #interpreter  #meta  #nfa  #optimisation  #parsing  #pda  #programming patterns  #regular expression  #rust  #shell  #stratego  #terminal  #theory of computation  #tool  #types