Пусть
![](https://st.testna5.ru/images/310/3104cb768e7aed8ea23a4ca206205d56.png)
– язык;
![](https://st.testna5.ru/images/bce/bce6002dc0975965c73a00d2c7b818f9.png)
– алфавит языка, причём
![](https://st.testna5.ru/images/6c3/6c301a6e57aa8c925985915c5cbfbe92.png)
, где
![](https://st.testna5.ru/images/a19/a196ab9d415a2dafc92d012c19b2a395.png)
и
![](https://st.testna5.ru/images/2f7/2f763ca16117395608a41dfb08580370.png)
– множество всех заглавных букв латинского языка, возможно с индексами;
![](https://st.testna5.ru/images/668/668df2f6fbe27155f6969e4fc7eafaeb.png)
(греческая буква "гамма") – грамматика языка
![](https://st.testna5.ru/images/63e/63e9f9be2f3e996dd58834b0b15220f0.png)
, которую можно описать так:
![](https://st.testna5.ru/images/800/800c3fa6733a338553f6c0aad37c4bb2.png)
) каждая буква из множества
![](https://st.testna5.ru/images/fd0/fd0c6669f1ff32842a6794fb1d4a28b8.png)
есть слово языка;
![](https://st.testna5.ru/images/ba7/ba7d705ec382956805e9345042f55bbc.png)
) если
![](https://st.testna5.ru/images/8d0/8d0ced9b718896891c9f77815f9bc327.png)
– слово языка
![](https://st.testna5.ru/images/14f/14f30149bd675348176a7fde4a9f1014.png)
, то
![](https://st.testna5.ru/images/f7c/f7ca33d8115e9a6649099cc4cc859ea7.png)
также является словом этого языка;
![](https://st.testna5.ru/images/115/115b5d9a04a5da2efb7fb4f97a7d5431.png)
) если
![](https://st.testna5.ru/images/c53/c538651679086e012c7b1c4f2685c531.png)
и
![](https://st.testna5.ru/images/b14/b148d4eadc372e27b9dc64ebe2becf51.png)
– слова языка
![](https://st.testna5.ru/images/410/4104d8bbe78d88f3e5d97e43e4caa5b4.png)
, то
![](https://st.testna5.ru/images/f77/f77cd6c981910fd908f286240e9104b3.png)
– также слово этого языка;
![](https://st.testna5.ru/images/ab0/ab0026833ea287d85614ddf8cfac41b3.png)
) любая последовательность символов языка
![](https://st.testna5.ru/images/458/458e5eda30aa229a1e3d30ecd2e44a3b.png)
является словом этого языка тогда и только тогда, когда это следует из пунктов 1) – 3).
Тогда словом языка
![](https://st.testna5.ru/images/139/1396b2c9aa582089ad8e1369cae12a2e.png)
не является последовательность символов …