以下程序的输出结果为

```

x = [1, 2, 3]

y = x

y.append(4)

print(x)

```

输出结果：

```

[1, 2, 3, 4]

```

在Python中，列表是一个非常常用的数据类型。然而，在编程中，我们经常会遇到这样一种情况：将一个列表赋值给另一个变量，然后对其进行操作。这里我们通过一个小例子来说明这种情况下的运作原理。

首先，我们创建了一个名为x的列表，其值为[1, 2, 3]。然后，我们创建了一个名为y的变量，并将x赋值给y。这里有一点需要注意：尽管我们现在有了两个变量（x和y），但它们指向的是同一个列表对象。也就是说，它们的引用是相同的。

我们接着对y进行了操作，即向其末尾添加了数字4。这个操作实质上是在原来的列表上进行，而不是创建一个新的列表对象。因此，无论是x还是y，它们所指向的列表都已经被修改了，其值变为了[1, 2, 3, 4]。

这里有一个重要的概念，叫做“可更改性”。在Python中，列表是可更改的数据类型，也就是说，我们可以在其上进行添加、删除、修改等操作，而不必创建一个新的列表对象。这样可以节省内存，提高效率。但是在这种情况下，我们必须要注意变量引用的关系，避免出现意外的结果。

那么，如果我们不想让x和y指向同一个列表对象，该怎么做呢？我们可以使用列表切片的方法来创建一个新的列表副本，代码如下：

```

x = [1, 2, 3]

y = x[:]

y.append(4)

print(x)

```

输出结果为：

```

[1, 2, 3]

```

这里的列表切片操作：x[:]创建了一个新的列表对象，其值与x一样。因此，我们可以在y上进行操作，而不会影响到x。

最后，我们需要注意的是，在Python中，不仅是列表，其他可变数据类型（如字典、集合等）也具有可更改性。因此，在编程中，我们应该时刻牢记变量引用的关系，避免出现潜在的问题。