Exercise sheet I solution

1. Definiți câte un AFD pentru limbajul șirurilor care conțin:

1.a. cel puțin doi $ b$

1.b. exact doi $ b$

1.c. cel mult doi $ b$

Solutie:

2. Scrieți un AFD peste alfabetul $ \{0, 1\}$, care recunoaște reprezentări binare ale numerelor divizibile cu 5. E.g. 0, 101, 1010, 1111, …

3. Demonstrați că pentru orice $ \varepsilon$-AFN, există un $ \varepsilon$-AFN echivalent cu o singură stare finală.

Solutie:

Fie $ N=(K,\Sigma, \Delta, q_0, F)$ un $ \varepsilon$-AFN. Construim un $ \varepsilon$-AFN echivalent $ N'$ adaugand cate o epsilon-tranzitie de la fiecare stare finala a lui $ N$ la starea finala unica a lui $ N'$ . Mai exact, $ N=(K',\Sigma, \Delta', q_0, F')$ unde:

• $ K' = K \cup {q_f}$ unde $ q_f$ este starea finala unica a lui $ N'$
• $ F' = {q_f}$
• $ \Delta' = \Delta \cup \{(q,\epsilon,q_f \mid q \in F\}$ - adaugam cate o epsilon tranzitie de la fiecare stare finala $ q$ a lui $ N$ la $ q_f$ .

Ramane de demonstrat ca automatul cu o stare finala construit astfel este intr-adevar echivalent cu cel initial, adica cele doua accepta acelasi limbaj: $ L(N) = L(N')$ . Propozitia de demonstrat este:

$ (q_0,w) \vdash_N^* (q, \epsilon) \mid q \in F \iff (q_0,w) \vdash_{N'}^* (q_f, \epsilon)$ .

4. Considerați lungimea $ |E|$ unei Expresii Regulate $ E$ ca fiind numărul de simboluri din ea, fără eventuale paranteze (doar simboluri din alfabet, $ \varepsilon$, $ \emptyset$, $ \cup$ și $ *$). Demonstrați că pentru orice expresie regulată $ E$ care nu conține Kleene star:

$\begin{equation} |E| \ge \max_{w \in L(E)}{|w|}\end{equation}$

5. Câte limbaje distincte pot fi recunoscute de un AFD cu 2 stări? Justificați.