formal languages can be defined without the need to give any meaning to their expressions