ВПЕРЁД ⇒
⇐ НАЗАД
Выражения языка и их символы
Любой язык состоит из символов, при помощи которых строятся предложения на данном языке. Например, в русском языке символами являются буквы, цифры и знаки препинания.
Любая конечная последовательность символов языка называется выражением этого языка.
Любой символ языка может встречаться произвольное число раз в любом выражении этого языка. Каждое появление символа в выражении называется вхождением этого символа в данное выражение. Число вхождений всех символов данного выражения называется длиной этого выражения. Например, выражение “раз-два-три” имеет длину 11 (чтобы в этом убедиться, достаточно пересчитать все символы выражения: буквы и дефисы). В любом языке единственным выражением длины 0 является пустая последовательность.
В языке одни выражения могут входить в состав других выражений. Каждое такое появление одного выражения внутри другого выражения называется вхождением первого выражения во второе. Например, в выражении “банан” два раза встречается выражение “ан”. Однако, стоит отметить, что вхождениями одних выражений в другие не являются случаи, когда символы из первого выражения имеют во втором выражении иной порядок следования, нежели чем в первом выражении. Например, выражение “нас” не имеет вхождения в выражение “опиСАНие”. Также, если символы из первого выражения сохраняют свой порядок следования во втором выражении, но при этом отделены друг от друга другими символами, то подобный случай тоже не будет являться вхождением первого выражения во второе. Например, выражение “тело” не имеет вхождения в выражение “последоваТЕЛьнОсть”.
ВПЕРЁД ⇒
⇐ НАЗАД
Источники
- Дж. Шенфилд “Математическая логика”. Глава 1 “Природа математической логики”, параграф 2 “Формальные системы” (стр. 13-19).
Категория
Теги