id	sid	tid	token	lemma	pos
cbi-37	1	1	v2018i1	v2018i1	NOUN
cbi-37	1	2	56	56	NUM
cbi-37	1	3	letters	letter	NOUN
cbi-37	1	4	and	and	CCONJ
cbi-37	1	5	notes	note	VERB
cbi-37	1	6	the	the	DET
cbi-37	1	7	logical	logical	ADJ
cbi-37	1	8	possibility	possibility	NOUN
cbi-37	1	9	of	of	ADP
cbi-37	1	10	halting	halting	ADJ
cbi-37	1	11	oracles	oracle	NOUN
cbi-37	1	12	eric	eric	PROPN
cbi-37	1	13	holloway	holloway	PROPN
cbi-37	1	14	doi	doi	PROPN
cbi-37	1	15	:	:	PUNCT
cbi-37	1	16	10.33014	10.33014	NUM
cbi-37	1	17	/	/	SYM
cbi-37	1	18	issn.2640	issn.2640	PROPN
cbi-37	1	19	-	-	PROPN
cbi-37	1	20	5652.1.1.holloway.3	5652.1.1.holloway.3	PROPN
cbi-37	1	21	a	a	DET
cbi-37	1	22	halting	halting	ADJ
cbi-37	1	23	oracle	oracle	NOUN
cbi-37	1	24	is	be	AUX
cbi-37	1	25	a	a	DET
cbi-37	1	26	kind	kind	NOUN
cbi-37	1	27	of	of	ADP
cbi-37	1	28	function	function	NOUN
cbi-37	1	29	that	that	PRON
cbi-37	1	30	can	can	AUX
cbi-37	1	31	determine	determine	VERB
cbi-37	1	32	whether	whether	SCONJ
cbi-37	1	33	any	any	DET
cbi-37	1	34	computer	computer	NOUN
cbi-37	1	35	program	program	NOUN
cbi-37	1	36	will	will	AUX
cbi-37	1	37	halt	halt	VERB
cbi-37	1	38	.	.	PUNCT
cbi-37	2	1	it	it	PRON
cbi-37	2	2	is	be	AUX
cbi-37	2	3	commonly	commonly	ADV
cbi-37	2	4	thought	think	VERB
cbi-37	2	5	that	that	SCONJ
cbi-37	2	6	halting	halting	ADJ
cbi-37	2	7	oracles	oracle	NOUN
cbi-37	2	8	are	be	AUX
cbi-37	2	9	logically	logically	ADV
cbi-37	2	10	impossible	impossible	ADJ
cbi-37	2	11	.	.	PUNCT
cbi-37	3	1	this	this	PRON
cbi-37	3	2	is	be	AUX
cbi-37	3	3	due	due	ADJ
cbi-37	3	4	to	to	ADP
cbi-37	3	5	the	the	DET
cbi-37	3	6	common	common	ADJ
cbi-37	3	7	proof	proof	NOUN
cbi-37	3	8	presented	present	VERB
cbi-37	3	9	for	for	ADP
cbi-37	3	10	the	the	DET
cbi-37	3	11	halting	halting	ADJ
cbi-37	3	12	problem	problem	NOUN
cbi-37	3	13	,	,	PUNCT
cbi-37	3	14	which	which	PRON
cbi-37	3	15	is	be	AUX
cbi-37	3	16	as	as	SCONJ
cbi-37	3	17	follows	follow	VERB
cbi-37	3	18	.	.	PUNCT
cbi-37	4	1	imagine	imagine	VERB
cbi-37	4	2	we	we	PRON
cbi-37	4	3	have	have	VERB
cbi-37	4	4	a	a	DET
cbi-37	4	5	halting	halting	ADJ
cbi-37	4	6	oracle	oracle	NOUN
cbi-37	4	7	function	function	NOUN
cbi-37	4	8	h	h	NOUN
cbi-37	4	9	(	(	PUNCT
cbi-37	4	10	p	p	X
cbi-37	4	11	,	,	PUNCT
cbi-37	4	12	i	i	PROPN
cbi-37	4	13	)	)	PUNCT
cbi-37	4	14	,	,	PUNCT
cbi-37	4	15	which	which	PRON
cbi-37	4	16	returns	return	VERB
cbi-37	4	17	true	true	ADJ
cbi-37	4	18	if	if	SCONJ
cbi-37	4	19	program	program	NOUN
cbi-37	4	20	p	p	NOUN
cbi-37	4	21	halts	halt	VERB
cbi-37	4	22	on	on	ADP
cbi-37	4	23	input	input	NOUN
cbi-37	4	24	i	i	PRON
cbi-37	4	25	,	,	PUNCT
cbi-37	4	26	and	and	CCONJ
cbi-37	4	27	false	false	ADJ
cbi-37	4	28	otherwise	otherwise	ADV
cbi-37	4	29	.	.	PUNCT
cbi-37	5	1	we	we	PRON
cbi-37	5	2	can	can	AUX
cbi-37	5	3	also	also	ADV
cbi-37	5	4	have	have	VERB
cbi-37	5	5	a	a	DET
cbi-37	5	6	function	function	NOUN
cbi-37	5	7	defined	define	VERB
cbi-37	5	8	as	as	ADP
cbi-37	5	9	g(p	g(p	NOUN
cbi-37	5	10	):	):	PUNCT
cbi-37	5	11	if	if	SCONJ
cbi-37	5	12	h	h	PROPN
cbi-37	5	13	(	(	PUNCT
cbi-37	5	14	p	p	X
cbi-37	5	15	,	,	PUNCT
cbi-37	5	16	p	p	NOUN
cbi-37	5	17	)	)	PUNCT
cbi-37	5	18	is	be	AUX
cbi-37	5	19	true	true	ADJ
cbi-37	5	20	then	then	ADV
cbi-37	5	21	loop	loop	NOUN
cbi-37	5	22	forever	forever	ADV
cbi-37	5	23	,	,	PUNCT
cbi-37	5	24	else	else	ADV
cbi-37	5	25	halt	halt	NOUN
cbi-37	5	26	.	.	PUNCT
cbi-37	6	1	if	if	SCONJ
cbi-37	6	2	we	we	PRON
cbi-37	6	3	run	run	VERB
cbi-37	6	4	g(g	g(g	PROPN
cbi-37	6	5	)	)	PUNCT
cbi-37	6	6	,	,	PUNCT
cbi-37	6	7	then	then	ADV
cbi-37	6	8	we	we	PRON
cbi-37	6	9	end	end	VERB
cbi-37	6	10	up	up	ADP
cbi-37	6	11	with	with	ADP
cbi-37	6	12	a	a	DET
cbi-37	6	13	contradiction	contradiction	NOUN
cbi-37	6	14	,	,	PUNCT
cbi-37	6	15	because	because	SCONJ
cbi-37	6	16	if	if	SCONJ
cbi-37	6	17	h	h	PROPN
cbi-37	6	18	(	(	PUNCT
cbi-37	6	19	g	g	NOUN
cbi-37	6	20	,	,	PUNCT
cbi-37	6	21	g	g	NOUN
cbi-37	6	22	)	)	PUNCT
cbi-37	6	23	halts	halt	VERB
cbi-37	6	24	then	then	ADV
cbi-37	6	25	g(g	g(g	PROPN
cbi-37	6	26	)	)	PUNCT
cbi-37	6	27	will	will	AUX
cbi-37	6	28	not	not	PART
cbi-37	6	29	halt	halt	VERB
cbi-37	6	30	,	,	PUNCT
cbi-37	6	31	and	and	CCONJ
cbi-37	6	32	visa	visa	NOUN
cbi-37	6	33	versa	versa	ADV
cbi-37	6	34	.	.	PUNCT
cbi-37	7	1	consequently	consequently	ADV
cbi-37	7	2	,	,	PUNCT
cbi-37	7	3	the	the	DET
cbi-37	7	4	function	function	NOUN
cbi-37	7	5	h	h	NOUN
cbi-37	7	6	is	be	AUX
cbi-37	7	7	impossible	impossible	ADJ
cbi-37	7	8	.	.	PUNCT
cbi-37	8	1	this	this	DET
cbi-37	8	2	proof	proof	NOUN
cbi-37	8	3	introduces	introduce	VERB
cbi-37	8	4	a	a	DET
cbi-37	8	5	confusion	confusion	NOUN
cbi-37	8	6	because	because	SCONJ
cbi-37	8	7	it	it	PRON
cbi-37	8	8	appears	appear	VERB
cbi-37	8	9	that	that	SCONJ
cbi-37	8	10	a	a	DET
cbi-37	8	11	halting	halting	ADJ
cbi-37	8	12	oracle	oracle	NOUN
cbi-37	8	13	is	be	AUX
cbi-37	8	14	logically	logically	ADV
cbi-37	8	15	impossible	impossible	ADJ
cbi-37	8	16	.	.	PUNCT
cbi-37	9	1	however	however	ADV
cbi-37	9	2	,	,	PUNCT
cbi-37	9	3	the	the	DET
cbi-37	9	4	proof	proof	NOUN
cbi-37	9	5	only	only	ADV
cbi-37	9	6	shows	show	VERB
cbi-37	9	7	that	that	SCONJ
cbi-37	9	8	it	it	PRON
cbi-37	9	9	is	be	AUX
cbi-37	9	10	impossible	impossible	ADJ
cbi-37	9	11	for	for	SCONJ
cbi-37	9	12	a	a	DET
cbi-37	9	13	halting	halting	ADJ
cbi-37	9	14	oracle	oracle	NOUN
cbi-37	9	15	to	to	PART
cbi-37	9	16	be	be	AUX
cbi-37	9	17	a	a	DET
cbi-37	9	18	finite	finite	ADJ
cbi-37	9	19	turing	ture	VERB
cbi-37	9	20	machine	machine	NOUN
cbi-37	9	21	.	.	PUNCT
cbi-37	10	1	it	it	PRON
cbi-37	10	2	is	be	AUX
cbi-37	10	3	still	still	ADV
cbi-37	10	4	logically	logically	ADV
cbi-37	10	5	possible	possible	ADJ
cbi-37	10	6	to	to	PART
cbi-37	10	7	have	have	VERB
cbi-37	10	8	a	a	DET
cbi-37	10	9	halting	halting	ADJ
cbi-37	10	10	oracle	oracle	NOUN
cbi-37	10	11	that	that	PRON
cbi-37	10	12	is	be	AUX
cbi-37	10	13	not	not	PART
cbi-37	10	14	a	a	DET
cbi-37	10	15	finite	finite	ADJ
cbi-37	10	16	turing	ture	VERB
cbi-37	10	17	machine	machine	NOUN
cbi-37	10	18	.	.	PUNCT
cbi-37	11	1	to	to	PART
cbi-37	11	2	see	see	VERB
cbi-37	11	3	that	that	PRON
cbi-37	11	4	halting	halting	ADJ
cbi-37	11	5	oracles	oracle	NOUN
cbi-37	11	6	are	be	AUX
cbi-37	11	7	a	a	DET
cbi-37	11	8	logical	logical	ADJ
cbi-37	11	9	possibility	possibility	NOUN
cbi-37	11	10	,	,	PUNCT
cbi-37	11	11	we	we	PRON
cbi-37	11	12	can	can	AUX
cbi-37	11	13	construct	construct	VERB
cbi-37	11	14	our	our	PRON
cbi-37	11	15	own	own	ADJ
cbi-37	11	16	halting	halting	ADJ
cbi-37	11	17	oracle	oracle	NOUN
cbi-37	11	18	from	from	ADP
cbi-37	11	19	logically	logically	ADV
cbi-37	11	20	possible	possible	ADJ
cbi-37	11	21	components	component	NOUN
cbi-37	11	22	.	.	PUNCT
cbi-37	12	1	first	first	ADV
cbi-37	12	2	,	,	PUNCT
cbi-37	12	3	note	note	VERB
cbi-37	12	4	that	that	SCONJ
cbi-37	12	5	all	all	DET
cbi-37	12	6	finite	finite	NOUN
cbi-37	12	7	turing	ture	VERB
cbi-37	12	8	machines	machine	NOUN
cbi-37	12	9	form	form	VERB
cbi-37	12	10	a	a	DET
cbi-37	12	11	countable	countable	ADJ
cbi-37	12	12	infinite	infinite	ADJ
cbi-37	12	13	set	set	NOUN
cbi-37	12	14	.	.	PUNCT
cbi-37	13	1	this	this	PRON
cbi-37	13	2	means	mean	VERB
cbi-37	13	3	that	that	SCONJ
cbi-37	13	4	we	we	PRON
cbi-37	13	5	can	can	AUX
cbi-37	13	6	match	match	VERB
cbi-37	13	7	each	each	DET
cbi-37	13	8	finite	finite	NOUN
cbi-37	13	9	turing	ture	VERB
cbi-37	13	10	machine	machine	NOUN
cbi-37	13	11	with	with	ADP
cbi-37	13	12	a	a	DET
cbi-37	13	13	positive	positive	ADJ
cbi-37	13	14	integer	integer	NOUN
cbi-37	13	15	.	.	PUNCT
cbi-37	14	1	imagine	imagine	VERB
cbi-37	14	2	this	this	PRON
cbi-37	14	3	as	as	ADP
cbi-37	14	4	an	an	DET
cbi-37	14	5	infinitely	infinitely	ADV
cbi-37	14	6	long	long	ADJ
cbi-37	14	7	index	index	NOUN
cbi-37	14	8	,	,	PUNCT
cbi-37	14	9	with	with	ADP
cbi-37	14	10	a	a	DET
cbi-37	14	11	numbered	numbered	ADJ
cbi-37	14	12	entry	entry	NOUN
cbi-37	14	13	for	for	ADP
cbi-37	14	14	each	each	DET
cbi-37	14	15	turing	ture	VERB
cbi-37	14	16	machine	machine	NOUN
cbi-37	14	17	.	.	PUNCT
cbi-37	15	1	the	the	DET
cbi-37	15	2	second	second	ADJ
cbi-37	15	3	step	step	NOUN
cbi-37	15	4	is	be	AUX
cbi-37	15	5	to	to	PART
cbi-37	15	6	note	note	VERB
cbi-37	15	7	that	that	SCONJ
cbi-37	15	8	each	each	DET
cbi-37	15	9	finite	finite	NOUN
cbi-37	15	10	turing	ture	VERB
cbi-37	15	11	machine	machine	NOUN
cbi-37	15	12	has	have	VERB
cbi-37	15	13	a	a	DET
cbi-37	15	14	halting	halting	ADJ
cbi-37	15	15	status	status	NOUN
cbi-37	15	16	.	.	PUNCT
cbi-37	16	1	each	each	DET
cbi-37	16	2	machine	machine	NOUN
cbi-37	16	3	either	either	CCONJ
cbi-37	16	4	halts	halt	VERB
cbi-37	16	5	or	or	CCONJ
cbi-37	16	6	runs	run	VERB
cbi-37	16	7	forever	forever	ADV
cbi-37	16	8	.	.	PUNCT
cbi-37	17	1	consequently	consequently	ADV
cbi-37	17	2	,	,	PUNCT
cbi-37	17	3	we	we	PRON
cbi-37	17	4	can	can	AUX
cbi-37	17	5	take	take	VERB
cbi-37	17	6	the	the	DET
cbi-37	17	7	infinite	infinite	ADJ
cbi-37	17	8	index	index	NOUN
cbi-37	17	9	from	from	ADP
cbi-37	17	10	the	the	DET
cbi-37	17	11	first	first	ADJ
cbi-37	17	12	step	step	NOUN
cbi-37	17	13	,	,	PUNCT
cbi-37	17	14	and	and	CCONJ
cbi-37	17	15	,	,	PUNCT
cbi-37	17	16	for	for	ADP
cbi-37	17	17	each	each	DET
cbi-37	17	18	turing	ture	VERB
cbi-37	17	19	machine	machine	NOUN
cbi-37	17	20	,	,	PUNCT
cbi-37	17	21	add	add	VERB
cbi-37	17	22	an	an	DET
cbi-37	17	23	entry	entry	NOUN
cbi-37	17	24	with	with	ADP
cbi-37	17	25	its	its	PRON
cbi-37	17	26	halting	halting	ADJ
cbi-37	17	27	status	status	NOUN
cbi-37	17	28	.	.	PUNCT
cbi-37	18	1	thus	thus	ADV
cbi-37	18	2	,	,	PUNCT
cbi-37	18	3	our	our	PRON
cbi-37	18	4	index	index	NOUN
cbi-37	18	5	now	now	ADV
cbi-37	18	6	consists	consist	VERB
cbi-37	18	7	of	of	ADP
cbi-37	18	8	three	three	NUM
cbi-37	18	9	elements	element	NOUN
cbi-37	18	10	:	:	PUNCT
cbi-37	18	11	an	an	DET
cbi-37	18	12	index	index	NOUN
cbi-37	18	13	number	number	NOUN
cbi-37	18	14	,	,	PUNCT
cbi-37	18	15	the	the	DET
cbi-37	18	16	finite	finite	NOUN
cbi-37	18	17	turing	ture	VERB
cbi-37	18	18	machine	machine	NOUN
cbi-37	18	19	definition	definition	NOUN
cbi-37	18	20	,	,	PUNCT
cbi-37	18	21	and	and	CCONJ
cbi-37	18	22	the	the	DET
cbi-37	18	23	machines	machine	NOUN
cbi-37	18	24	halting	halt	VERB
cbi-37	18	25	status	status	NOUN
cbi-37	18	26	.	.	PUNCT
cbi-37	19	1	the	the	DET
cbi-37	19	2	final	final	ADJ
cbi-37	19	3	step	step	NOUN
cbi-37	19	4	is	be	AUX
cbi-37	19	5	to	to	PART
cbi-37	19	6	imagine	imagine	VERB
cbi-37	19	7	a	a	DET
cbi-37	19	8	search	search	NOUN
cbi-37	19	9	machine	machine	NOUN
cbi-37	19	10	that	that	PRON
cbi-37	19	11	has	have	VERB
cbi-37	19	12	access	access	NOUN
cbi-37	19	13	to	to	ADP
cbi-37	19	14	this	this	DET
cbi-37	19	15	index	index	NOUN
cbi-37	19	16	.	.	PUNCT
cbi-37	20	1	the	the	DET
cbi-37	20	2	difference	difference	NOUN
cbi-37	20	3	between	between	ADP
cbi-37	20	4	the	the	DET
cbi-37	20	5	search	search	NOUN
cbi-37	20	6	machine	machine	NOUN
cbi-37	20	7	and	and	CCONJ
cbi-37	20	8	a	a	DET
cbi-37	20	9	finite	finite	ADJ
cbi-37	20	10	turing	ture	VERB
cbi-37	20	11	machine	machine	NOUN
cbi-37	20	12	is	be	AUX
cbi-37	20	13	that	that	SCONJ
cbi-37	20	14	since	since	SCONJ
cbi-37	20	15	the	the	DET
cbi-37	20	16	index	index	NOUN
cbi-37	20	17	is	be	AUX
cbi-37	20	18	infinite	infinite	VERB
cbi-37	20	19	the	the	DET
cbi-37	20	20	search	search	NOUN
cbi-37	20	21	machine	machine	NOUN
cbi-37	20	22	is	be	AUX
cbi-37	20	23	also	also	ADV
cbi-37	20	24	infinite	infinite	ADJ
cbi-37	20	25	,	,	PUNCT
cbi-37	20	26	and	and	CCONJ
cbi-37	20	27	thus	thus	ADV
cbi-37	20	28	the	the	DET
cbi-37	20	29	search	search	NOUN
cbi-37	20	30	machine	machine	NOUN
cbi-37	20	31	does	do	AUX
cbi-37	20	32	not	not	PART
cbi-37	20	33	show	show	VERB
cbi-37	20	34	up	up	ADP
cbi-37	20	35	in	in	ADP
cbi-37	20	36	the	the	DET
cbi-37	20	37	index	index	NOUN
cbi-37	20	38	itself	itself	PRON
cbi-37	20	39	.	.	PUNCT
cbi-37	21	1	the	the	DET
cbi-37	21	2	operation	operation	NOUN
cbi-37	21	3	of	of	ADP
cbi-37	21	4	the	the	DET
cbi-37	21	5	search	search	NOUN
cbi-37	21	6	machine	machine	NOUN
cbi-37	21	7	is	be	AUX
cbi-37	21	8	to	to	PART
cbi-37	21	9	incrementally	incrementally	ADV
cbi-37	21	10	search	search	VERB
cbi-37	21	11	the	the	DET
cbi-37	21	12	index	index	NOUN
cbi-37	21	13	for	for	ADP
cbi-37	21	14	a	a	DET
cbi-37	21	15	given	give	VERB
cbi-37	21	16	finite	finite	ADJ
cbi-37	21	17	turing	ture	VERB
cbi-37	21	18	machine	machine	NOUN
cbi-37	21	19	and	and	CCONJ
cbi-37	21	20	return	return	VERB
cbi-37	21	21	the	the	DET
cbi-37	21	22	finite	finite	PROPN
cbi-37	21	23	machines	machine	NOUN
cbi-37	21	24	halting	halt	VERB
cbi-37	21	25	status	status	NOUN
cbi-37	21	26	.	.	PUNCT
cbi-37	22	1	since	since	SCONJ
cbi-37	22	2	the	the	DET
cbi-37	22	3	set	set	NOUN
cbi-37	22	4	is	be	AUX
cbi-37	22	5	countably	countably	ADV
cbi-37	22	6	infinite	infinite	ADJ
cbi-37	22	7	and	and	CCONJ
cbi-37	22	8	each	each	DET
cbi-37	22	9	finite	finite	NOUN
cbi-37	22	10	turing	ture	VERB
cbi-37	22	11	machine	machine	NOUN
cbi-37	22	12	is	be	AUX
cbi-37	22	13	paired	pair	VERB
cbi-37	22	14	with	with	ADP
cbi-37	22	15	a	a	DET
cbi-37	22	16	finite	finite	ADJ
cbi-37	22	17	number	number	NOUN
cbi-37	22	18	,	,	PUNCT
cbi-37	22	19	the	the	DET
cbi-37	22	20	search	search	NOUN
cbi-37	22	21	machine	machine	NOUN
cbi-37	22	22	is	be	AUX
cbi-37	22	23	guaranteed	guarantee	VERB
cbi-37	22	24	to	to	PART
cbi-37	22	25	halt	halt	VERB
cbi-37	22	26	with	with	ADP
cbi-37	22	27	the	the	DET
cbi-37	22	28	halting	halting	ADJ
cbi-37	22	29	status	status	NOUN
cbi-37	22	30	for	for	ADP
cbi-37	22	31	every	every	DET
cbi-37	22	32	finite	finite	ADJ
cbi-37	22	33	turing	ture	VERB
cbi-37	22	34	machine	machine	NOUN
cbi-37	22	35	.	.	PUNCT
cbi-37	23	1	thus	thus	ADV
cbi-37	23	2	,	,	PUNCT
cbi-37	23	3	the	the	DET
cbi-37	23	4	search	search	NOUN
cbi-37	23	5	machine	machine	NOUN
cbi-37	23	6	is	be	AUX
cbi-37	23	7	a	a	DET
cbi-37	23	8	halting	halting	ADJ
cbi-37	23	9	oracle	oracle	NOUN
cbi-37	23	10	.	.	PUNCT
cbi-37	24	1	now	now	ADV
cbi-37	24	2	we	we	PRON
cbi-37	24	3	can	can	AUX
cbi-37	24	4	address	address	VERB
cbi-37	24	5	the	the	DET
cbi-37	24	6	question	question	NOUN
cbi-37	24	7	whether	whether	SCONJ
cbi-37	24	8	a	a	DET
cbi-37	24	9	halting	halting	ADJ
cbi-37	24	10	oracle	oracle	NOUN
cbi-37	24	11	is	be	AUX
cbi-37	24	12	logically	logically	ADV
cbi-37	24	13	impossible	impossible	ADJ
cbi-37	24	14	.	.	PUNCT
cbi-37	25	1	since	since	SCONJ
cbi-37	25	2	the	the	DET
cbi-37	25	3	search	search	NOUN
cbi-37	25	4	machine	machine	NOUN
cbi-37	25	5	is	be	AUX
cbi-37	25	6	a	a	DET
cbi-37	25	7	halting	halting	ADJ
cbi-37	25	8	oracle	oracle	NOUN
cbi-37	25	9	,	,	PUNCT
cbi-37	25	10	then	then	ADV
cbi-37	25	11	if	if	SCONJ
cbi-37	25	12	the	the	DET
cbi-37	25	13	search	search	NOUN
cbi-37	25	14	machine	machine	NOUN
cbi-37	25	15	is	be	AUX
cbi-37	25	16	not	not	PART
cbi-37	25	17	logically	logically	ADV
cbi-37	25	18	impossible	impossible	ADJ
cbi-37	25	19	,	,	PUNCT
cbi-37	25	20	neither	neither	PRON
cbi-37	25	21	is	be	AUX
cbi-37	25	22	the	the	DET
cbi-37	25	23	general	general	ADJ
cbi-37	25	24	concept	concept	NOUN
cbi-37	25	25	of	of	ADP
cbi-37	25	26	a	a	DET
cbi-37	25	27	halting	halting	ADJ
cbi-37	25	28	oracle	oracle	NOUN
cbi-37	25	29	.	.	PUNCT
cbi-37	26	1	the	the	DET
cbi-37	26	2	search	search	NOUN
cbi-37	26	3	machine	machine	NOUN
cbi-37	26	4	is	be	AUX
cbi-37	26	5	composed	compose	VERB
cbi-37	26	6	of	of	ADP
cbi-37	26	7	two	two	NUM
cbi-37	26	8	main	main	ADJ
cbi-37	26	9	components	component	NOUN
cbi-37	26	10	.	.	PUNCT
cbi-37	27	1	if	if	SCONJ
cbi-37	27	2	neither	neither	DET
cbi-37	27	3	component	component	NOUN
cbi-37	27	4	is	be	AUX
cbi-37	27	5	logically	logically	ADV
cbi-37	27	6	impossible	impossible	ADJ
cbi-37	27	7	,	,	PUNCT
cbi-37	27	8	then	then	ADV
cbi-37	27	9	neither	neither	CCONJ
cbi-37	27	10	is	be	VERB
cbi-37	27	11	their	their	PRON
cbi-37	27	12	composition	composition	NOUN
cbi-37	27	13	in	in	ADP
cbi-37	27	14	the	the	DET
cbi-37	27	15	form	form	NOUN
cbi-37	27	16	of	of	ADP
cbi-37	27	17	the	the	DET
cbi-37	27	18	search	search	NOUN
cbi-37	27	19	machine	machine	NOUN
cbi-37	27	20	.	.	PUNCT
cbi-37	28	1	the	the	DET
cbi-37	28	2	components	component	NOUN
cbi-37	28	3	are	be	AUX
cbi-37	28	4	:	:	PUNCT
cbi-37	28	5	1	1	X
cbi-37	28	6	.	.	PUNCT
cbi-37	29	1	the	the	DET
cbi-37	29	2	countable	countable	ADJ
cbi-37	29	3	infinite	infinite	ADJ
cbi-37	29	4	index	index	NOUN
cbi-37	29	5	of	of	ADP
cbi-37	29	6	finite	finite	NOUN
cbi-37	29	7	turing	ture	VERB
cbi-37	29	8	machine	machine	NOUN
cbi-37	29	9	halting	halting	ADJ
cbi-37	29	10	statuses	status	NOUN
cbi-37	29	11	2	2	NUM
cbi-37	29	12	.	.	PUNCT
cbi-37	30	1	the	the	DET
cbi-37	30	2	search	search	NOUN
cbi-37	30	3	procedure	procedure	NOUN
cbi-37	30	4	countable	countable	ADJ
cbi-37	30	5	infinite	infinite	ADJ
cbi-37	30	6	sets	set	NOUN
cbi-37	30	7	are	be	AUX
cbi-37	30	8	used	use	VERB
cbi-37	30	9	regularly	regularly	ADV
cbi-37	30	10	in	in	ADP
cbi-37	30	11	mathematics	mathematic	NOUN
cbi-37	30	12	and	and	CCONJ
cbi-37	30	13	are	be	AUX
cbi-37	30	14	not	not	PART
cbi-37	30	15	logically	logically	ADV
cbi-37	30	16	impossible	impossible	ADJ
cbi-37	30	17	,	,	PUNCT
cbi-37	30	18	although	although	SCONJ
cbi-37	30	19	some	some	DET
cbi-37	30	20	branches	branch	NOUN
cbi-37	30	21	of	of	ADP
cbi-37	30	22	mathematics	mathematic	NOUN
cbi-37	30	23	deny	deny	VERB
cbi-37	30	24	their	their	PRON
cbi-37	30	25	existence	existence	NOUN
cbi-37	30	26	as	as	ADP
cbi-37	30	27	an	an	DET
cbi-37	30	28	axiomatic	axiomatic	ADJ
cbi-37	30	29	decision	decision	NOUN
cbi-37	30	30	.	.	PUNCT
cbi-37	31	1	thus	thus	ADV
cbi-37	31	2	,	,	PUNCT
cbi-37	31	3	component	component	NOUN
cbi-37	31	4	#	#	SYM
cbi-37	31	5	1	1	NUM
cbi-37	31	6	is	be	AUX
cbi-37	31	7	not	not	PART
cbi-37	31	8	logically	logically	ADV
cbi-37	31	9	impossible	impossible	ADJ
cbi-37	31	10	.	.	PUNCT
cbi-37	32	1	the	the	DET
cbi-37	32	2	search	search	NOUN
cbi-37	32	3	procedure	procedure	NOUN
cbi-37	32	4	can	can	AUX
cbi-37	32	5	be	be	AUX
cbi-37	32	6	encoded	encode	VERB
cbi-37	32	7	with	with	ADP
cbi-37	32	8	a	a	DET
cbi-37	32	9	finite	finite	ADJ
cbi-37	32	10	turing	ture	VERB
cbi-37	32	11	machine	machine	NOUN
cbi-37	32	12	that	that	PRON
cbi-37	32	13	counts	count	VERB
cbi-37	32	14	upwards	upwards	ADV
cbi-37	32	15	incrementally	incrementally	ADV
cbi-37	32	16	,	,	PUNCT
cbi-37	32	17	and	and	CCONJ
cbi-37	32	18	can	can	AUX
cbi-37	32	19	call	call	VERB
cbi-37	32	20	out	out	ADP
cbi-37	32	21	to	to	ADP
cbi-37	32	22	an	an	DET
cbi-37	32	23	external	external	ADJ
cbi-37	32	24	index	index	NOUN
cbi-37	32	25	to	to	PART
cbi-37	32	26	retrieve	retrieve	VERB
cbi-37	32	27	the	the	DET
cbi-37	32	28	finite	finite	NOUN
cbi-37	32	29	turing	ture	VERB
cbi-37	32	30	machine	machine	NOUN
cbi-37	32	31	definition	definition	NOUN
cbi-37	32	32	and	and	CCONJ
cbi-37	32	33	halting	halting	ADJ
cbi-37	32	34	status	status	NOUN
cbi-37	32	35	.	.	PUNCT
cbi-37	33	1	since	since	SCONJ
cbi-37	33	2	the	the	DET
cbi-37	33	3	search	search	NOUN
cbi-37	33	4	performs	perform	VERB
cbi-37	33	5	an	an	DET
cbi-37	33	6	exact	exact	ADJ
cbi-37	33	7	match	match	NOUN
cbi-37	33	8	with	with	ADP
cbi-37	33	9	the	the	DET
cbi-37	33	10	input	input	NOUN
cbi-37	33	11	finite	finite	NOUN
cbi-37	33	12	turing	ture	VERB
cbi-37	33	13	machine	machine	NOUN
cbi-37	33	14	and	and	CCONJ
cbi-37	33	15	the	the	DET
cbi-37	33	16	retrieved	retrieve	VERB
cbi-37	33	17	finite	finite	NOUN
cbi-37	33	18	turing	ture	VERB
cbi-37	33	19	machine	machine	NOUN
cbi-37	33	20	,	,	PUNCT
cbi-37	33	21	then	then	ADV
cbi-37	33	22	the	the	DET
cbi-37	33	23	match	match	NOUN
cbi-37	33	24	can	can	AUX
cbi-37	33	25	be	be	AUX
cbi-37	33	26	encoded	encode	VERB
cbi-37	33	27	as	as	ADP
cbi-37	33	28	a	a	DET
cbi-37	33	29	finite	finite	NOUN
cbi-37	33	30	turing	ture	VERB
cbi-37	33	31	machine	machine	NOUN
cbi-37	33	32	as	as	ADV
cbi-37	33	33	well	well	ADV
cbi-37	33	34	.	.	PUNCT
cbi-37	34	1	since	since	SCONJ
cbi-37	34	2	finite	finite	ADJ
cbi-37	34	3	turing	turing	NOUN
cbi-37	34	4	machines	machine	NOUN
cbi-37	34	5	are	be	AUX
cbi-37	34	6	not	not	PART
cbi-37	34	7	logically	logically	ADV
cbi-37	34	8	impossible	impossible	ADJ
cbi-37	34	9	,	,	PUNCT
cbi-37	34	10	then	then	ADV
cbi-37	34	11	neither	neither	PRON
cbi-37	34	12	is	be	VERB
cbi-37	34	13	component	component	NOUN
cbi-37	34	14	#	#	SYM
cbi-37	34	15	2	2	NUM
cbi-37	34	16	,	,	PUNCT
cbi-37	34	17	the	the	DET
cbi-37	34	18	search	search	NOUN
cbi-37	34	19	procedure	procedure	NOUN
cbi-37	34	20	.	.	PUNCT
cbi-37	35	1	finally	finally	ADV
cbi-37	35	2	,	,	PUNCT
cbi-37	35	3	the	the	DET
cbi-37	35	4	combination	combination	NOUN
cbi-37	35	5	of	of	ADP
cbi-37	35	6	the	the	DET
cbi-37	35	7	infinite	infinite	ADJ
cbi-37	35	8	index	index	NOUN
cbi-37	35	9	and	and	CCONJ
cbi-37	35	10	the	the	DET
cbi-37	35	11	search	search	NOUN
cbi-37	35	12	procedure	procedure	NOUN
cbi-37	35	13	is	be	AUX
cbi-37	35	14	not	not	PART
cbi-37	35	15	logically	logically	ADV
cbi-37	35	16	impossible	impossible	ADJ
cbi-37	35	17	,	,	PUNCT
cbi-37	35	18	since	since	SCONJ
cbi-37	35	19	no	no	DET
cbi-37	35	20	further	further	ADJ
cbi-37	35	21	concepts	concept	NOUN
cbi-37	35	22	are	be	AUX
cbi-37	35	23	added	add	VERB
cbi-37	35	24	.	.	PUNCT
cbi-37	36	1	consequently	consequently	ADV
cbi-37	36	2	,	,	PUNCT
cbi-37	36	3	the	the	DET
cbi-37	36	4	search	search	NOUN
cbi-37	36	5	machine	machine	NOUN
cbi-37	36	6	demonstrates	demonstrate	VERB
cbi-37	36	7	that	that	SCONJ
cbi-37	36	8	halting	halting	ADJ
cbi-37	36	9	oracles	oracle	NOUN
cbi-37	36	10	are	be	AUX
cbi-37	36	11	logically	logically	ADV
cbi-37	36	12	possible	possible	ADJ
cbi-37	36	13	.	.	PUNCT