新闻标记计算机算法

在数学、计算机、语言学、和相关的主题,一个算法是指令的有限序列,一个明确的,一步一步的解决问题过程,通常用于计算和数据处理。正式的一种有效方法,一个定义明确的指令来完成一个任务列表,将当给定一个初始状态,继续通过一个定义良好的一系列连续的状态,最终在一个最终终止。从一个状态转换到下一个不一定是决定性的;一些算法,称为概率算法,将随机性。

部分形式化的概念开始试图解决Entscheidungsproblem(“决策问题”)构成的1928年大卫希尔伯特。随后的主要框架试图定义“有效的可计算性”(克林1943:274)或“有效方法”(伐木工人1939:225);这些主要包括1930年Godel-Herbrand-Kleene递归函数,1934年和1935年,西德尼1936年教会的演算,埃米尔邮政的“配方1”1936年,阿兰·图灵1936 - 7和1939的图灵机。