Providing assistance for proofs in the teaching of theory of computation
Padmanabhan Krishnan · 2003
In this article we present a technique which helps students in understanding proofs in the context of automata theory. The main conclusion is that student understanding can be improved by using a collection of lemmas and trying to automate the proof in a mechanical theorem prover.