IMAGE7

tK \	tg; i, jęajrfci opisani	e przez podane wzorce od	1|
	tmij&a&gp do najwię	k&zego (w sensie zawierania	43*
	a) €		tffl]
	n a	"6* | b*a*
	c) «
	# U	i a (&)+
	gy (c	ii*)?	f-E]
	rik o*! ] ^ ...... ; .-Z*. - f i [ «/	□ “)□ 5)Q
skończone do wzorców opisują-			fE
przez		nie języki.
i®	| a | k
	— Wi j i 12		4E
	2 [ 3 j
	;v 2 f i		M
	— 1 [ 2 1 i
		f B »^+1 i>^+
U	i[*i*	*f fi? 1 (aa | 66)*	s-łlT]
		jpfp | 6*a6*a6*
	jF 212 |
	||	1 (aa)*a
	| m | 6	| [d 1 (a | 6(aa)*a6)*	J jjp
	— I * ‘2 j 3
	F 2 11 r 3
	3[3| 3		Bp □
Hi	| a j b		fm
	— B I 1 1 i 2
	^2 |^l		O) □
	§ r

llll

i

■łm

Czy następująca gramatyka jest jednoznaczna? S —> aSb | Sbb | k Czy w następującej gramatyce można wyprowadzić słowo aabał S —* aaS | Sbb \ b

Czy w następującej gramatyce można wyprowadzić puste słowo? S -> 55 | aSb | b

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

Czy następująca gramatyka generuje pusty język? S —♦ aSb | b

Automaty stosowe rozpoznają języki bezkontekstowe.

Dopełnienie języka regularnego jest językiem regularnym.

Każdy język kontekstowy jest bezkontekstowy.

Suma języków bezkontekstowych jest językiem bezkontekstowym.

Każdy język bezkontekstowy jest regularny.

Analizator leksykalny stara się przede wszystkim dopasować jak najdłuższy leksem.

Jeśli gramatyka bezkontekstowa jest jednoznaczna, to nie występuje w niej lewostronna rekursja.

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.

W parserach LL(1) drzewo wyprowadzenia jest odtwarzane od korzenia do liści. Parsery LR(1) obchodzą drzewo wyprowadzenia w porządku prefiksowym. Analizator składniowy generowany przez Yacc’a/Bison’a to rodzaj deterministycznego automatu stosowego.

Konstrukcja parsera LR(1) nie może się udać dla gramatyki niąjednoznacznej. Yacc i Bison implementują mechanizm atrybutów dziedziczonych.