Esercizi grammatiche regolari

S -> = abba

saxa s

Sex aboba

c) tutte

linguaggio

il grammatica

dalla

generato l'insieme di

3 e

. ha c] esattamente

le b

stringhe palindrome un

con

su ,

,

la vuota

centro

carattere stringa

c al più .

,

&

esercizio a

abaa

O ⑳

ba

.

O ,

Oxz ...

O baaab

+z diti

a

moni

(non

pu essere

2

tipo

Di Non

solo

hanno

terminali)

c) terminano

tutte stringhe

di

Linguaggio che

e iniziano

se con

4 con a

a

. all'interno

b qualsiasi

terminano

l combinazione

iniziano

se con e

con

e ,

.

b

dia e

esercizio 3 tipo

Grammatica

a) 2

di

3 . babbA

AAZIbAAubaAEsbabAEs babbAb

b) S

3 +

. babbab by

La contengono almeno

c) delle E

stringue che

3 linguaggio

E' il su = ,

. due a

6

esercizio

a) tipo

6 1

Di

. ho

quanto nell'assione A

b) è verificato in ogni

6 una

si più e

in

. ho

sostituito

volta solo B

che una

T viene

7

esercizio Ga b)

i

a)

7 = ,

. stringhe iniziano

vincoli le a

-> per b

terminano

stringhe

le

>

- con

All'interno combinazione di

qualsiasi

posso avere

>

-

Ga b)

V .

a eb

=

+ , Tame se

X) ner

<S

vn = , S tipo

15 aXb grammatica di

- aX(2(bX

2X - aaXb aabXb-aabaxb

alb

S aabaab

>

- >

-

- - E

- appartiene

b) grammatica regolare

7 una :

. S aX

>

- b

X >

- Xb

X >

-

X af

>

-

esercizio 45]

3

Vi ab

by

ha

E ( ) Un

*,

0

b +, =

= , ,

, , .

(s) alb

S S

- >

-

5 a

S

-> S

S + -

S SoS

- S

S >

-

esercizio9

1) tutte le eb

di

l'insieme espressioni regolari

genera su a

tra operatori

conto

tiene precedenze

delle

cui si

in 10

esercizio tipo

Chandany abb aabbbb

= ...

,

proprietà comb

- delle

finisce il numero

inizia con a

> , ,

delle

doppio

b rispetto quello a.

e

aXb

S - blaXbb

X -

aXb

15 abb

>

- - anaxbbbbb-

5-aXb-aaXbbb anabbbbbb

>

-

4 ?

11

esercizio [12n20]

limitata

grammatica l

mostrare che

una non genera =

B]

51) S

Un

Vi A U

L S

X

R D lassiona

dove e

= = , ,

, , , , ,

produzioni :

1) S LAR

>

- Strasforma

-Va) VR- 2

2) A

10

VA

3) - BRG

S L XD

-> e a

AAD

DA raddoppia

-

8) BA

AB- tipo

esercizio .

di

12 I

& a)

(b *

9) grammatica +

a

12 a

per

. le

tutte finisco

stringhe

linguaggio

il

questo di che miziano

e e

composta da

vuota

dentro

che essere

può oppure

e

no a

con be

di

combinazione

qualsiasi da

ha b)

b}

ha

S V

= =

+

, , S X aX

ax

- -

So

&

x X

lax a

->

la by

X >

-

S Se axa abxa abaaa

abaaxa

> aa s

-

s

SeaXa- aaabla anabba

aaaxa >

> >

- -

S axt)X aS

" - ->

X a

-> by

3)X >

-

Sax Es

aas anabas

aaabx anabaat

agax

Esacabana

!

E' corretta *

(ba) **

(ab)

b) l'espressione regolare

12 per

. linguaggio tutte stringhe

contiene che

le

il possono

Do

iniziare ripetizioni di ba

più seguono

zero o

con , diab

b più Inclu

ripetizioni

terminano

più zero

con o

e . .

stringa

la vuota

de b)

ha b3 Vi a

E = , ,

grammatica di I

tipo

X

S stringhe linguaggio

del

- :

baxlabX/bx/E

X >

- b baab

babab

ab ,

ba

E , ,

, ,

aba bab babb bababab.

↳ ,

, ,

bax bab

babx

S X

+ >

> -

-

- babababx bababab

bax babax bababX

S X >

> > >

-

+ - - - -

tipo

grammatica di

S E

-> -

S aB

>

- bS

S -

B bS

- corretta !

penso sia

Automi finiti

Stati

esercizi a

Piccolo escursus : grammatiche

riconosciuti

regolari dalle

quelli

linguaggi

i sono tipo

grammatiche

regolari di

, le .

3

ovvero

1

esercizio *

ab a le

tutte stringhe

riconosce finiscono

che iniziano e

che avere

possono

per a e centro

b al

zero più .

o

2

esercizio b) stringhe

le

2 riconosce su

. by

4a tali che :

, b

il di

numero

> a = massimali

le sotto sequenze

b lun

di

di

sole

di sole è

e =

al più

ghezza 2

.

iniziano finiscono

per

> a e

.

per b

"abaabb"

"anab"e

computazione stringhe

sulle

a) dell'automa

faccio nastro

sul

le

.

2 scorrere

191 b)

1 /

190 anab ab +

aab 193

<92

> > E

193

_ - , ,

, , ,

ACCETTANTE

NON baabb abbst191

190 abbs/192 bb

abaabb 19

>+

< > >

90 , ,

,

, ,

b)

191 + 190 E) Accettante

, , *

*

(a(ab) b)

c)

2 .

esercizio A

3 -

2}

40

21 1 9

= *

, , ↓

801 2 02

in questo 2

0

E e

modo

9p

9p 90 9p .

riconosciuta

9d19d19p/9d riconosciuta perché

E

è

cosi go

non

stato finale

è

non

↑ 10

AFS Linguaggio

il

che riconosce :

1 D

Es 90

>

- go

naturali base

dei pari 3

,

numeri in -

vuota

stringa

la

esclusa . 1

- computa

ASF

Negli deve una

creare

ad ad dell'alfabeto

simbolo

ad ap zione ogni

per .

99 ap 9d ap

5

esercizio

a) contiene z'b'

5 consecutive

w mai

non

. -

alcune abb

ab abba

stringh a a

a , a

aa

e. .... ...

, , ....

, ,

ababab ab

a ... ...

b)

ha stringa

Si la

leggo E

anche

se

= :

, e

F

b a

, a

↳

92

go

as a

a

92 9093 A andb

939393 a an b

'consecutive a

b) ,

3'b

contiene

5 w

. b)

ha stringa

Si la

leggo E

anche

se

= :

, e

F

b a

,

↳

92

go

as a

92 9093 A b

b

939393 a an

,

b

b ab abbb

ab an

a

...

a ,

...

, b

... , a ,

c) .

3'b'

wcontiene almeno

.

5 e se

Fatsc a

6

esercizio gaa

b

49 -

~ &

a

· b

costruttiva

logica :

stati

usano

si : 'bl

dispari a

1) pari'd'e'b' 3) 92

go e

= = 'dispari'b'

pari'b' pari'à'

disparità

2) d)

q1 = e

e 93 =

ore

alga

7

esercizio

costruttiva

logica :

stati

usano

si : 'bl

dispari a

1) pari'd'e'b' 3) 92

go e

= = 'dispari'b'

pari'b' pari'à'

disparità

2) d)

q1 = e

e 93 =

- 9

alga afta

a

8

esercizio ababaab

abaaba

stringhe abab

alcone >

- , ,

la E

.

sempre

Iniziano con riconosce

e

a fab

S o 9090

a

90 92}

490

an

T ↓ P

b ,

goo

&

9

esercizio Il e

a

- goo

a

& 909119119092

ASF

per 923/]

490 19091)

(190 92]

, x 190

Si F

Si 91 90

= =

= , , , , , ,

⑱ parto volta

da che

ogni

go, , stato lo

trovo nuovo

un aggiunge

⑳ tabella

alla .

ababaab

abaaba

stringhe abab

alcone >

- , ,

al

4490 9192]

790 927490

9 .

,

. ,

490 92390790 9)

.

, 923/490

9231490

490 92]

91 91

92),

4 92]

[90 , ,

. . ,

190

F 9. 19

= , a

.

, . a e E ci

nessuno

quindi

va li

non uso

↳

ab

esercizio

lo abababaab aba

stringhe

alcune aab

> a

- ,

,

, I

~ fab

t a

go a o

/4

a ⑬ d 91

93

esercizio 11 ababaab

di

computazione computazione

l'albero di

Facciamo 90

%

a - . . . a

--

----- b

ada--- a

-------- b

- a

fa

a a

- - -

- - -

y - -

-

-

- 93

E b

↓b - - - - - - ..

91

12

esercizio riconosciute le stringhe

sono ab abbaa

le stringe ,

,

aabb aa *

ab

*

ab

riconosciuto dall'automa

linguaggio

il a

a

+

e * a)

at(b ab

+

13

esercizio

a) ASF

13 . *

a)

(ab * stringhe

alcone

1 => :

= abba, abaabba

aba

,

aa

aa

,

aa

↳ ... ,

,

la

ha quindi finale

vuota e

stringa .

qu

a

2 ASF

9 9 92}

290

a 91

=

a ,

,

b) Ei 49 by

= ,

90

90 =

92 490]

F =

*

(aba)

ASEND (

= =

-

*

(ab b)

**

b) ababab

stringhe

l alcone

13 = :

. ababab

abababab

ASFND ,

y

-a trasform

e

ASF

-

91

↓ 20192

90

da

e

b bb)

(aa

*

b

c) *

(

13 +

a

=

. trasformo ASF

lo in

ASFND ana

Era

- 90 &

ca - 93

90

9091 909192 ,

b

a b

, 93 90919290919290 93

,

9093/9091/909293

909293190911909293

↓ fo 29

%

↓

I

- Gb

-

*

a(bc)

d)