Ferramenta de auxílio de ensino de fundamentos de teoria da computação