小步语义和大步语义是形式语义的两种方法。小步语义关注程序执行的细节，适合动态和并发系统分析；大步语义则强调最终结果，适用于程序正确性和等价性证明。两者各有侧重，适用于不同的编程分析场景。