数学在编程语言中有哪些应用

设计语言的时候要验证语言的图灵完备性，这个需要用数学