A formal language is a set of strings that are formed from an alphabet such that the elements conform to a grammar or set of formation rules (also known as syntax). Elements of the formal language are called well-formed formulas. Formal languages may have a Deductive system put on top of them to to create a formal system.
Formal definition[]
Let be an alphabet.
Then a formal language is a subset of , where is the kleene star operator.
This article is a stub, please help Philosophy Wiki by improving it. If its finished, please remove this template.