formal language definitions