Terminados automatos
Added tex file to docs
Added source files
	State Machine implemented