已知一个左线性文法为：G[Z]: Z → U0∣V1 U → Z1∣1 V → Z0∣0 画出与这个文法等价的NFA。

首先，我们需要将文法转换为正则表达式的形式，然后再画出NFA。

从G[Z]开始：

Z → U0 | V1

对于U：

U → Z1 | 1

我们可以推出：

U → (U0 | V1)1 | 1

简化一下：

U → U01 | V11 | 1

对于V：

V → Z0 | 0

我们可以推出：

V → (U0 | V1)0 | 0

简化一下：

V → U00 | V10 | 0

现在我们可以得到以下正则表达式：

Z → U0 | V1

U → U01 | V11 | 1

V → U00 | V10 | 0

接下来，我们可以使用Thompson构造算法来构造等价的NFA。我们需要三个状态：起始状态S、接受状态A和B。

首先，我们从S出发，使用U的正则表达式构造一个子图，从S到U1，再从U1到U0或V1，最后从U0或V1到A。

然后，我们从S出发，使用V的正则表达式构造另一个子图，从S到V0或U0，再从V0或U0到V1，最后从V1到A。

最后，从S到1构造一个空转移边，连接到A。

这样，我们就得到了一个等价的NFA。以下是NFA的图示：

       0,1
S ──────────┐
│           │
│   0       │1
│   │       │
▼   ▼       ▼
U1 ──► U0  A
│    V1
│
│0
│
▼
V0 ──► V1

其中，从S到U0或V1的边表示U和V两种可能性。从U1到U0或V1的边表示在U中选择了0或在V中选择了1。从V0或U0到V1的边表示在V中选择了0或在U中选择了0。从S到1的边表示在Z中直接选择了1。

注意，这个NFA中有一些状态没有标号，这是因为它们不是接受状态，只是为了方便构造而添加的中间状态。