Ein
formales System ist ein System von Symbolketten und Regeln. Die Regeln sind Vorschriften für die Umwandlung einer Symbolkette in eine andere, also
Produktionen einer
formalen Grammatik. Die Anwendung der Regeln kann dabei ohne Kenntnis der Bedeutung der Symbole, also rein
syntaktisch erfolgen. Formale Systeme werden in verschiedenen wissenschaftlichen Disziplinen wie der
Logik,
Mathematik,
Informatik und
Linguistik verwendet, insbesondere um neue Aussagen aus bereits bekanntem Wissen herzuleiten.