Formális nyelvek : egyetemi tankönyv - Bach, Iván (Az informatika elmélete, 2005)