IMAGE1

Imk i

Nr iadckmmi

|. UssmgNj Jwn

ujmaiciwfi) do aąpnfkw|Eo iblłM^r).

-Ł ²>_ *>

Automaty i Gramatyki Koftamiti poprawkowy

09 2010

podiM vnrc« od w trarit uwfmu^a

4)

5)1

Dopauj automaty akoAcaom do wsorców opisujących akceptowane pnea nie jpykl

4fl

^E3

KSD

-GE!

nsn

•)
	— FI i
	2 | 3
	3 2	1

U

tK-

* b

b)	a
V	2	1
2	3	2
F 3		3
c)	a	6
1	2	3
F 2	2
F 3		3

d)	a	6
— i	o	3
F 2	1	3
3	3	3

•)	a	6
— F 1	3	2
2		1
3	1

f-

Czy następująca gramatyka Jot jedno' znaczna? S — aSb | Sbb | e Czy w następującej gramatyc* można wyprowadzić słowo aabał S — aaS | Sbb | b

Czy w następującej gramatyce można wyprowadzić puitc słowo?

5 —* SS | aSh | 6

Czy język generowany przez następującą gramatykę jest skończony? 8 — bSa | SbS | a

Czy następująca gramatyka generuje pu-_| sty język? S —* aSb | 6

4.    | J Automaty stosowe rozpoznają języki

bezkonte kątowe.

- |~Tl Dopełnienie języka regularnego Jest językiem regularnym.

| Każdy język kontekstowy Jest bezkontekstowy.

^ |"|^fa | Suma języków bezkontekstowych Jest Językiem bezkontekstowy m.

| Każdy język bezkontekstowy Jest regularny.

5.    [ j Analizator leksykalny stara się przecie

wszystkim dopasować jak najdłuższy leksem.

| Jeśli gramatyka bezkontekstowa Jest Jednoznaczna, to nie występuje w niej lewostronna rekursja.

H ‘ ] Determinizacja automatu skończonego może spowodować wykładniczą eksplozję liczby stanów.

| Automat stosowy w każdym kroku wczytuje dokładnie jeden znak.

| Żeton reprezentuje parę: leksem, atrybut.

6.    j | W parserach LL(1) drzewo wyprowadzenia jest odtwarzane od korzenia do liści.

| Parsery LR(1) obchodzą drzewo wyprowadzenia w porządku prefiksowym. f~p | Analizator składniowy generowany przez Yacc’a/Bison’a to rodzaj detcrmlnlityez-nego automatu stosowego.

| Konstrukcja parsera LR(1) nie może ttlę udać dla gramatyki niejednoznaczną).

J Yacc i Bison Implementują mechanizm atrybutów dzłedziczonycłi.