Python实现SICP中的赋值和局部状态

在SICP（Structure and Interpretation of Computer Programs，计算机程序的构造和解释）这本经典的计算机科学教材中，讨论了赋值和局部状态的概念。本文将介绍如何在Python中实现这些概念，并提供相应的源代码示例。

赋值是一种常见的编程操作，它允许我们将一个值绑定到一个变量上。在Python中，我们可以使用简单的赋值语句来实现这一点。例如，我们可以将一个整数值绑定到一个变量上：

x = 5

在这个示例中，我们将整数值5赋给变量x。现在，变量x持有值5，我们可以在后续的代码中使用它。

然而，在SICP中，还引入了赋值的另一种概念，即通过改变变量的值来改变程序的状态。这在函数式编程中是不常见的，因为函数式编程更加强调无副作用和不可变性。但是，在一些情况下，我们可能需要在程序中使用可变状态。下面是一个简单的示例，演示了如何在Python中实现这种赋值和状态的概念：

class Counter:
    def __init__(</