AtoCC is a learning program dedicated to students and it is very useful in teaching them abstract automata, formal languages, and some applications in compiler construction.
AtoCC contains 6 programs : AutoEdit, AutoEdit Workbook, kfG Edit, TDiag, VCC, SchemeEdit.