2 межелік бақылау тапсырмасы
1. Келесі ұғымдарды құру үшін тілдің формальды анықтамасын беріңіз:
а) Оң бүтін сандар жиыны;
b) қазақ тіліндегі сөздер жиыны;
с) программалау тілдерінің идентификаторларының жиыны.
2. VT={ 0;1;2 } болсын, сондай-ақ α=01, β = 2 , γ=011. Келесі тізімді жазыңыз: αβ, βα, αβγ, α 4 , α 4 β 2 . Оның ұзындығын, басың және соңын сипаттаңыз.
3. Келесі грамматика берілсін
G = VT; VN; P; J , мұндағы VT = {a,b,c}, VN = {A,B,J}, J Є VN,
P = { p1 = J ::= aB; p2 = B ::= A; p3 = B ::= b; p4 = A ::= c }.
Келесі тізбектің ақиқат немесе жалғандығын дәлелдеңіз:
a) J =...= a;
b) J =...=ac;
c) B =...= Ac;
d) aJ =...=aab;
e) aBb =...=acb.
Граматиканың қай түрі?