Teoretyczne podstawy informatyki, II SPPI Dr inż. Agnieszka Prusiewicz
Zad.1
Należy podać wyrażenia regularne opisujące języki akceptowane przez automaty z zad 2, z listy 2.
Zad.2
Należy zdefiniować deterministyczne automaty skończone akceptujące języki nad alfabetem V={a,b,c}, określone poprzez następujące wyrażenia regularne:
• a*b*c + c*b+c*,
• a*b+c + a*c+b,
• c*(a + (bc*))*,
• a+b*(c + b*c)*,
• (c+ + c*b)(ab + ba)*.
Zad.3
Należy zbadać, które z następujących języków są językami regularnymi:
• L1={ai bk ∧ k>i},
• L2={ai bk ∧ k>3},
• L3 = {ω∈{a,b}* ∧ |ω| ≤ 5},
• L4 ={a2i+1 ci , i ≥ 0}.
Zad.4
Należy wykazać, że:
• Suma dwóch języków regularnych jest językiem regularnym,
• Przecięcie dwóch języków regularnych językiem regularnym,
• Uzupełnienie języka regularnego jest językiem regularnym.