Transcript 오토마타, 형식언어, 문법