Automatai ir formaliosios kalbos (Privalomasis)