What is a formal language?

Language is a set of valid strings from some alphabet. The set may be empty,finite or infinite. L(M) is the language defined by machine M and L( G) is the languagedefined by Context free grammar. The two notations for specifying formal languages are:

• Grammar or regular expression(Generative approach)

• Automaton(Recognition approach)