History of Wpc/decidable language

Difference (from prior major revision) (minor diff)

Changed: 6c6

does X belongs in the language?"

does X belong in the language?"

Changed: 9c9,10

* enumerable language (don't require that the algorithm stop on strings that don't belong in the language)
* [co-enumerable language]? (complement of an enumerable language)

Changed: 12c13

None yet

* context-free language (accepted by a pushdown automaton)

	Revision 5 . . (edit) October 23, 2001 1:48 am by Seb
	Revision 4 . . (edit) October 23, 2001 1:46 am by Seb
	Revision 3 . . October 23, 2001 1:42 am by Seb
	Revision 2 . . (edit) October 23, 2001 1:22 am by Seb
	Revision 1 . . October 22, 2001 11:56 pm by Seb