0 proof
我们有2种语言(非正式地)在语义上等同但在语法上不同.一个是xml,另一个是基于脚本.我怎样才能正式证明这两种语言实际上是等价的.脚本方法只是一种编写相同程序的便捷方式,在xml中编写这些程序会很繁琐.
谢谢Ketan
编写一个程序,以一种语言作为输入程序,并以另一种语言输出等效程序.
然后证明你刚写的程序对所有可能的输入都是正确的.
这样做的好方法是通过某种归纳.程序通常具有树形结构; 如果你能证明翻译对于每一片可能的叶子是正确的,并且你可以证明它对于两棵正确树木的每种可能组合是正确的,那么通过归纳,你已经证明了整个事物.