parte terza

È data la seguente espressione regolare di alfabeto Σ = {a, b, c}:
+
R = ( a | b c )* ( b ( a | c )* )
+
Si richiede di:
1.
ricavare, mostrando i passaggi principali, l’automa deterministico minimo corrispondente;
2.
esprimere lo stesso linguaggio in forma di grammatica strettamente lineare sinistra;
3.
esprimere lo stesso linguaggio in forma di grammatica non contestuale ma NON in forma estesa (cioè
senza l’uso di croce, stella, parentesi e stringa vuota, ma solo con gli operatori di unione e
concatenamento);
4.
mostrare l’eventuale correttezza della frase “aabbaacc” utilizzando le quattro notazioni (l’espressione
regolare e le altre forme calcolate ai punti precedenti) e mostrando le diverse tecniche di riconoscimento,
compresi gli alberi sintattici;
5.
verificare se sia possibile ottenere frasi ambigue e, in caso affermativo, proporne una.
Si suggerisce inoltre (parte facoltativa) di:
6.
provare a riottenere l’espressione regolare di partenza (o una equivalente) a partire dalla grammatica
strettamente lineare a sinistra.
È data la seguente espressione regolare di alfabeto Σ = {a, b, c}:
R = ( a+ | b c )* ( b+ ( a | c )* )+
Si richiede di:
mostrare l’eventuale correttezza della frase “aabbccbb” utilizzando le quattro notazioni (l’espressione
regolare e le altre forme calcolate ai punti precedenti) e mostrando le diverse tecniche di riconoscimento,
compresi gli alberi sintattici;
È data la seguente espressione regolare di alfabeto Σ = {a, b, c}:
+
+
R = ( a b* | a* c ) c* ( a | b )
Si richiede di:
mostrare l’eventuale correttezza della frase “aaccaabb” utilizzando le quattro notazioni (l’espressione
regolare e le altre forme calcolate ai punti precedenti) e mostrando le diverse tecniche di riconoscimento,
compresi gli alberi sintattici;
È data la seguente espressione regolare di alfabeto Σ = {a, b, c}:
+
+
+
R = ( a | b c ) b ( b | a c )*
Si richiede di:
mostrare l’eventuale correttezza della frase “abcbbacb” utilizzando le quattro notazioni (l’espressione
regolare e le altre forme calcolate ai punti precedenti) e mostrando le diverse tecniche di riconoscimento,
compresi gli alberi sintattici;
È data la seguente espressione regolare di alfabeto Σ = {a, b, c}:
+
+
R = ( a c* | b* ) a ( a | b c )*
Si richiede di:
mostrare l’eventuale correttezza della frase “aaccaabc” utilizzando le quattro notazioni (l’espressione
regolare e le altre forme calcolate ai punti precedenti) e mostrando le diverse tecniche di riconoscimento,
compresi gli alberi sintattici;