发现程序，美国描写语言学的研究方法，即一套对已知的言语素材可以自动地、机械地作出分析，以发现语言的正确语法的程序。致力于开发这种程序是布龙菲尔德等语言学家的目标，他们认为语言存在于言语之中，语言学家的任务就是要制定出一种程序，以便把语言结构从言语素材中概括出来。经过几代人的努力，他们最终总结出一套工作程序，即发现程序。包括四个步骤：切分，即通过比较和替换把话语分割成最小片断；同一，即根据互补和相似把切分出来的片断归并成较少的单位；归类，即根据单位的分布，把它们分成不同的类；组合，即说明单位之间的组合模式。发现程序对于音位、语素等的分析较为有效，但在早期转换生成语法的阐述中遭到强烈批评。转换生成语法认为，永远不可能完整地描写语言，言语素材不可避免地带有偶然性，甚至无法保证没有重大遗漏；寻找这样的发现程序也是不可取的，因为只要获得的结论是正确的，通过什么程序来获得并不重要。