Formellänge

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Gesamtanzahl der Symbole oder Tokens in einer Formel nach einer gewählten Tokenisierungs-Konvention; ein grundlegendes syntaktisches Maß, das logische Junktoren, Quantoren, Prädikat- und Funktionssymbole, Variablen, Klammern und manchmal Interpunktion zählt.