Задачи по разделам курса
Языки и их представление
Алфавиты, цепочки и языки
- Пусть A = {ab, c} и B = {c, ca} - два формальных
языка над алфавитом {a, b, c}. Найти следующие формальные
языки:
- A \ B;
- A2;
- A2 \ B2;
- AB.
Представление языков
- Для языка
, |x|b - нечeтное} постройте
- Детерминированный конечный автомат;
- По нему - регулярное выражение;
- По этому выражению - грамматику;
- По полученной грамматике перейдите по GN-теореме к N- автомату.
Грамматики
2.3.1. Принадлежит ли цепочка x = abaababb языку, порождаемому грамматикой с правилами:
![S \to SaSb|\varepsilon](/sites/default/files/tex_cache/e966669a1a2df0f20d04d523ea65ce8d.png)
2.3.2. Принадлежит ли цепочка x = (()())() языку, порождаемому грамматикой с правилами:
S -> SA|A A -> (S)|()
2.3.3. Принадлежит ли цепочка x = 00011011 языку, порождаемому грамматикой с правилами:
S -> SS|A A -> 0A1|S|01
2.3.4. Принадлежит ли цепочка x = 0111000 языку, порождаемому грамматикой с правилами:
S -> A0B|B1A A -> BB|0 B -> AA|1
2.3.5. Верно ли соотношение a*cb* 2 L(G) для следующей грамматики G?
S -> Bab|aDa; A -> Dc|cA; B -> Sb|b; D -> AB|aD.
2.3.6. Верно ли соотношение ab*c* 2 L(G) для следующей грамматики G?
S -> SAS|A; A -> Ac|Da|b; B -> DaD; D -> ABD|AB.
2.3.7. Верно ли соотношение ca*b* 2 L(G) для следующей грамматики G?
![S \to bcD|aB;\ A \to Db|cA;\ B \to bS|\varepsilon ;
\\
D \to BA|cD.](/sites/default/files/tex_cache/0e16d4ea940b9fd431124bb909eabc57.png)
2.3.8. Верно ли соотношение c*ab* 2 L(G) для следующей грамматики G?
S -> ASS|A; A -> c|Ab|aD; B -> aDD; D -> AB|BaB.
2.3.9. Пусть грамматика G определяется правилами
S -> AB; AB -> CBb; CB -> ABB; A -> a; aB -> a:
Какому классу (по Хомскому) она принадлежит? Порождается ли L(G) грамматикой более узкого класса?
2.3.10. Пусть грамматика G определяется правилами
![S \to aAbB;\ AbB \to aAbB; bBb \to bb;\ A \to \varepsilon .](/sites/default/files/tex_cache/6dfc0d466ac990d5c48708edaadcf68c.png)
Какому классу (по Хомскому) она принадлежит? Порождается ли L(G) грамматикой более узкого класса?
2.3.11. Пусть грамматика G определяется правилами
![S \to AaB; AaB \to aAaBb;\ aBb \to abb;\ A \to \varepsilon .](/sites/default/files/tex_cache/8e2160c1da7bf331a9156255c72ac313.png)
Какому классу (по Хомскому) она принадлежит? Порождается ли L(G) грамматикой более узкого класса?
2.3.12. Пусть грамматика G определяется правилами
S -> AB; AB -> aDB; DB -> ABB; B -> b; Ab -> b.
Какому классу (по Хомскому) она принадлежит? Порождается ли L(G) грамматикой более узкого класса?
2.3.13. Какому классу по Хомскому принадлежит:
а) Грамматика с правилами:
![S \to AS|\varepsilon ;\ A \to a|b:](/sites/default/files/tex_cache/bb7d1033e4a525132afdd3156b30a002.png)
б) Язык, порождаемый этой грамматикой?
2.3.14. Какому классу по Хомскому принадлежит:
а) Грамматика с правилами:
S -> AB; AB -> aABB; B -> b; A -> a;
б) Язык, порожденный этой грамматикой?
2.3.15. Какому классу по Хомскому принадлежит:
а) Грамматика с правилами:
![S \to ASB|BSA;\ A \to a;\ B \to b|\varepsilon ;\ SB \to \varepsilon ;](/sites/default/files/tex_cache/65562e0f49c1bcdd2225b774e89f40b3.png)
б) Язык, порожденный этой грамматикой?
2.3.16. Какому классу по Хомскому принадлежит:
а) Грамматика с правилами:
S -> AcBs; A -> AcA|B; B -> a|b;
б) Язык, порождeнный этой грамматикой?
2.3.17. Сколько существует различных выводов цепочки baaaab, принадлежащей языку, порождаемому грамматикой с правилами:
S -> bAb; A -> AA|a
2.3.18. Построить праволинейные грамматики для языков, состоящих из:
а) идентификаторов произвольной длины, начинающихся с буквы;
б) идентификаторов, содержащих от 1 до 6 символов и начинающихся с букв I, J, K, L, M, N;
в) вещественных констант;
г) всех цепочек из нулей и единиц, имеющих:
- чeтное число нулей и чeтное число единиц;
- либо нечeтное число нулей и нечeтное число единиц.