Пусть
– язык;
– алфавит языка, причём
, где
и
– множество всех заглавных букв латинского языка, возможно с индексами;
(греческая буква "гамма") – грамматика языка
, которую можно описать так:
) каждая буква из множества
есть слово языка;
) если
– слово языка
, то
также является словом этого языка;
) если
и
– слова языка
, то
– также слово этого языка;
) любая последовательность символов языка
является словом этого языка тогда и только тогда, когда это следует из пунктов 1) – 3).
Тогда словом языка
не является последовательность символов …