Page 304

		n p, 19

		, 20

		j , 20

		, 20

		pad(()·, ·), 21

		MinProg n ( a ), 24

		MinGram n (L), 24

		, 24

		, 24

		j i, s, 25

		Wi, s, 25

		K, 25

		content(T), 31

		T(n), 32

		T[n], 32

		SEQ, 32

		for , 32

		s (n) for 32

		s [n] for , 32

		, 35

		, 35

		, 37

		for , 41

		for , 41

		, for , 41

		, for , 41

		, 41

		, 41

		s - for , 45

		s last for , 45

		content(G), 50

		SEG, 50

		for , 50

		content( s ) for , 50

		s (n) for , 50

		s [n] for , 50

		for  s  , 51

		, 51

		, 51

		, 51

		, 51

		s -n, 57

		s last n, 57

		Lang, 62

		Func, 62

		TxtEx, 63

		, 64

		Ex, 69

		INIT, 69

		FA( s ), 70

		, 71

		, 71

		DL(i), 76

		[·], 76

		[·]f, 76

		, 79

		, 80

		, 84

		, 84

		[TxtEx]all-def, 93

		[TxtEx]class-all-def, 93

		[TxtEx]consistent, 93

		[TxtEx]class-consistent, 95

		[TxtEx]account, 96