Слово

Пусть X - любое множество. Полагаем:
1) если x ∈ X, то x - слово,
2) если t, f - слова, то tf - слово (tf получается приписыванием к слову t слова f),

3) всякое слово может быть получено по правилам 1), 2).



» Терминология