Language equation
Appearance
Language equations are mathematical statements that resemble numerical equations, but the variables assume values of formal languages rather than numbers. Therefore language equations can be used to represent grammars, since the languages generated by the grammar must be the solution of a system of language equations.