Definition:Word (Formal Systems)/Also known as

Word in context of Formal Systems: Also known as

Different treatments of formal languages use different terms for word.

Examples include formula, sentence and string.

However, these alternatives conflict with the concepts logical formula, sentence and string, respectively, in the scope of this site; therefore, their use is discouraged.

It is useful to note that in this context word is a synonym for finite string.

Sources

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $1$ Formation Rules (in the context of the language of propositional logic)
• 1979: John E. Hopcroft and Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation ... (previous) ... (next): Chapter $1$: Preliminaries: $1.1$ Strings, Alphabets and Languages
• 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.2$: Syntax of Propositional Logic
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): alphabet
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): string