Page 307

		TeamTxtEx, 214

		conv(M,  s ), 215

		M(x,  s ), 223

		M(x, f), 223

		MinProgc(f), 223

		Bexa,c, 223

		UniBex, 224

		MinGramc(L), 231

		M(x, T), 231

		TxtBex, 232

		TxtUniBex, 232

		ApdExa, 236

		UapdExa, 237

		urd(L', L), 240

		TxtApdExa, 241

		TxtApdExa, 241

		M(x, y, T), 241

		TxtApd1Acpd2Exa, 242

		TxtApd1Uacpd2Exa, 242

		TxtUapd1Acpd2Exa, 242

		TxtUapd1Uacpd2Exa, 242

		BEXa,c, 245

		Apd1Aexd2, 247

		OAEx, 252

		STR, 253

		Queries(M, A,  s ), 256

		OA,bEx, 256

		OA,bTxtEx, 257

		? 262

		, 262

		, 262

		Ex Y , 264

		conv(M, sigma), 265

		conv(M, f), 265

		h-Bounded-Ex Y , 265

		Bounded-Ex Y , 265

		Bounded-Ex, 265

		, 267

		s (M, f), 267

		TxtMin, 268

		TxtLsr, 269

		TxtLsr(g, v), 269

		h-TxtMex, 273

		TxtMex, 273

		TxtMex, 274

		auc(M, f), 277

		TxtMin, 278

		Min Y , 278

		Lsr(g, v), 278

		Mex, 279

		, 279

		, 279