构造出下述文法G[S] 的自动机： S→B0 B→B0|S1|0 进一步分析该自动机是否为确定自动机，若不确定，则对它确定化

首先，我们需要将文法G[S]转换为一个等价的正则文法：

S → B0
B → B0B' | S1 | 0
B' → 0B' | ε

其中，B'用于表示B的可选项。

然后，我们可以使用子集构造法构造出该文法的自动机。

首先，我们需要确定该自动机的状态集合。由于该文法具有左递归，因此我们需要使用非确定自动机。

我们将状态集合划分为三类：

1. 状态集合中只包含S的状态。

2. 状态集合中只包含B的状态。

3. 状态集合中同时包含S和B的状态。

状态集合1只有一个状态，即{S}。

状态集合2包含三个状态：{B}, {B0}, {B1}。其中，{B}表示B的初始状态，{B0}表示B推导出B0的状态，{B1}表示B推导出1的状态。

状态集合3包含三个状态：{S,B}, {S,B0}, {S,B1}。其中，{S,B}表示S和B的初始状态，{S,B0}表示S推导出B0的状态，{S,B1}表示S推导出1的状态。

接下来，我们需要确定该自动机的转移函数。对于每个状态集合和文法符号，我们需要确定它们的转移关系。具体来说：

1. 对于状态集合1和文法符号0，它的转移状态为{B0}。

2. 对于状态集合2和文法符号0，它的转移状态为{B0}。

3. 对于状态集合2和文法符号1，它的转移状态为{B1}。

4. 对于状态集合2和文法符号B，它的转移状态为{B,B0,B1}。

5. 对于状态集合3和文法符号0，它的转移状态为{B0}。

6. 对于状态集合3和文法符号1，它的转移状态为{B1}。

7. 对于状态集合3和文法符号B，它的转移状态为{B,B0,B1}。

最后，我们需要确定该自动机的初始状态和接受状态。初始状态为{S}，接受状态为{B0}和{B1}。

该自动机是非确定自动机，因为对于状态集合2和状态集合3，它们的转移函数存在多个转移状态。为了确定该自动机，我们需要将它转换为确定自动机。

具体来说，我们需要对该自动机进行子集构造法，以确定每个状态集合的转移关系。然后，我们需要使用子集构造法构造出该自动机的转移函数和接受状态。

经过确定化后，该自动机的状态集合为{S,B,B0,B1,B0B',B0B'0,B1B',B1B'0,B0B'0B',B1B'0B'}，其中B'用于表示B的可选项。该自动机是确定自动机，因为对于任何状态集合和文法符号，它们的转移关系都是唯一的。