Пусть
![](https://st.testna5.ru/images/26a/26a2512e10ac814c60a5eb0631e9a593.png)
– язык;
![](https://st.testna5.ru/images/2e3/2e3076a94b0337230a6c30ccc94c219b.png)
– алфавит языка, причём
![](https://st.testna5.ru/images/d4f/d4f7666de50c017663b912b4a4bb199b.png)
, где
![](https://st.testna5.ru/images/185/185a8dd5c4c821dea8d07628417fc95d.png)
и
![](https://st.testna5.ru/images/9fa/9fa5deb49012a7e71c754170ffb33e31.png)
– множество всех заглавных букв латинского языка, возможно с индексами;
![](https://st.testna5.ru/images/39b/39b9589ea0ec2ece677a5c6e5424d6ef.png)
(греческая буква "гамма") – грамматика языка
![](https://st.testna5.ru/images/d35/d35e1e09e4116056baa1615e4de6b522.png)
, которую можно описать так:
![](https://st.testna5.ru/images/402/402de4afb3746f9282ef3a39960aa1c6.png)
) каждая буква из множества
![](https://st.testna5.ru/images/466/466ae8b0e64f0fb69103d369b1bee0ce.png)
есть слово языка;
![](https://st.testna5.ru/images/93c/93cc8f81aa9c47ed0fed892238901eed.png)
) если
![](https://st.testna5.ru/images/e94/e9439609d092a45de1c65de4d95e961c.png)
– слово языка
![](https://st.testna5.ru/images/6c6/6c6eef1a48545dbef5e2529d7312322d.png)
, то
![](https://st.testna5.ru/images/317/3174fd078b73ec25c3e8a57d1ece418a.png)
также является словом этого языка;
![](https://st.testna5.ru/images/b44/b44a87cff288f4e94176b678dad7f8e8.png)
) если
![](https://st.testna5.ru/images/f47/f47e71d7ca1db16fb49907ac2953d592.png)
и
![](https://st.testna5.ru/images/ab2/ab2586cef42d40ff3abc41c4a91af583.png)
– слова языка
![](https://st.testna5.ru/images/98b/98b066d2f1b783f86db77541f7fc56be.png)
, то
![](https://st.testna5.ru/images/2a8/2a82811563c766652e2f58071df919cd.png)
– также слово этого языка;
![](https://st.testna5.ru/images/07e/07e07f6e20c5a52718e420fd15548397.png)
) любая последовательность символов языка
![](https://st.testna5.ru/images/ccd/ccdd21262e4efe35d7d7fd274eae4db2.png)
является словом этого языка тогда и только тогда, когда это следует из пунктов 1) – 3).
Тогда словом языка
![](https://st.testna5.ru/images/7d8/7d8109fe3306cea79087827f39afdb4f.png)
не является последовательность символов …