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

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