• Teaching push-down automata and Turing machines 

      García-Osorio, César; Mediavilla-Sáiz, Iñigo; Jimeno-Visitación, Javier; García-Pedrajas, Nicolás (2014-02-27)
      In this paper we present the new version of a tool to assist in teaching formal languages and automata theory. In the previous version the tool provided algorithms for regular expressions, finite automata and context ...