条件语句的理论框架：将如果/否则建模为代数函数

条件语句（如果/否则）是所有编程语言的基本构建块。传统的编程构造分析专注于实现和运行时行为，但很少关注正式的代数表示。本文提出了一种数学框架，将条件语句表示为代数函数，结合输入-输出映射和执行时间。通过这种方法，我们展示了如何对简单条件进行理论分析，将其扩展到循环和程序模块，并为编程的正式理论提供基础。