revised
Merge branch 'master' of https://github.com/fjhickernell/AutomaticAlgorithms

Conflicts:
	GeneralAutoAlgPaper/DeterministicAutomaticb.pdf