Слово (в математике)

Определение "Слово (в математике)" в Большой Советской Энциклопедии

Слово в математике (алгебре и математической логике), то же, что выражение, т. е. произвольная конечная (в т. ч. может быть и пустая) последовательность «букв» - символов, составляющих алфавит данного логико-математического исчисления. Иногда термин «Слово (в математике)» употребляют в несколько более узком смысле - как синоним термина «формула», т. е. выражение, составленное лишь из части букв данного алфавита, и притом, быть может, по специальным правилам образования Слово (в математике) Впрочем, такое сужение смысла несущественно - его легко обойти, рассматривая, кроме «основного» алфавита (из букв которого строятся Слово (в математике)), ещё некоторый объемлющий его алфавит, содержащий необходимые «вспомогательные» знаки, а также вводя с самого начала в определение понятия Слово (в математике) другие правила построения, кроме простого сочленения букв.