Fransızca
Dans un système formel, les expressions bien
formées sont donc celles qui, interprétées symbole par symbole, donnent
des phrasesGrammaticales (bien entendu, le résultat dépend de
l'interprétation, mais celle-ci est généralement préméditée).
Türkçe
Biçimsel bir sistemde, iyi biçimlendirilmiş ifadeler bu nedenle, sembol sembolyorumlandığında dilbilgisel cümleler veren ifadelerdir (elbette sonuç yoruma bağlıdır, ancak bu genellikle önceden planlanmıştır).