Date of this Version


Document Type

Conference Proceeding

Publication Details

Krishnan, P. (2002) Providing Assistance for Proofs in the Teaching of Theory of Computation. IN: Proceedings of the International Conference on Computers in Education (ICCE '02) Dec 2002, pp 1083-1084.

© 2002 IEEE. All rights Reserved.

Published by the Institute of Electrical and Electronics Engineers (IEEE)
Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.


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.



This document has been peer reviewed.