Dopisano część teorii automatów do dokumentacji