Kiel registrite je 17:04, 15 nov. 2014 redakti Objectivesea (diskuto \| kontribuoj) Patrolantoj 984 redaktoj pli da alineojn ← Iru al antaŭa ŝanĝo		Kiel registrite je 15:18, 15 jan. 2016 redakti malfari Maksim (diskuto \| kontribuoj) Patrolantoj 34 175 redaktoj e →‎Difino: duuma sistempo -> duuma sistemo Iru al sekvanta ŝanĝo →
Linio 11: Decidoproblemo estas ajna arbitra jes-aŭ-ne demando sur malfinia aro de enigoj. Pro ĉi tio, tradicie oni egalvalore difinas la decidoproblemon kiel la aro de enigoj por kiu la problemo revenigas jes. Tiuj enigoj eblas esti [[natura nombro\|naturaj nombroj]] aŭ valoroj de iu alia speco, kiel [[ĉeno (komputiko)\|ĉeno]]j super la [[duuma ~~sistempo~~sistemo\|duuma]] [[alfabeto (komputiko)\|alfabeto {0,1}]] aŭ super iu alia finia [[simbolo\|simbolaro]]. La subaro de ĉenoj aŭ signovicoj por kiu la problemo revenigas "jes" estas [[formala lingvo]], kaj ofte decidoproblemoj difiniĝas tiamaniere kiel formalaj lingvoj. Alikaze, per kodigo kiel [[godela numerado]], iu ajn ĉeno povas kodiĝi kiel natura nombro, per kiu decidoproblemo difineblas kiel subaro de la naturaj nombroj.

Decidoproblemo: Malsamoj inter versioj