构造一个LR(1)分析器。要求如下： （1） 用户任意给定的文法，输出LR(1)的项目集规范族； （2） 输出LR(1)分析表； （3） 测试文法G[S]如下： S →L=R S →R L →*R L → i R →L

首先，我们需要构造出文法的LR(1)项目集规范族。以下是该文法的所有产生式的项目：

1. S' -> .S
2. S -> .L=R
3. S -> .R
4. L -> .*R
5. L -> .i
6. R -> .L

接下来，我们需要根据这些项目构造出项目集。首先，将第一个项目加入项目集I0中：

I0: S' -> .S

接着，找出I0中所有项目的闭包。由于S不在任何项目的右侧出现，因此闭包只包含一个项目：

I0: S' -> .S
S -> .L=R
S -> .R
L -> .*R
L -> .i
R -> .L

现在，我们需要找出I0中每个项目后面可能跟随的符号，并对每个符号构造出一个新的项目集。具体地，对于每个项目A -> α.Bβ，我们找出B后面可能跟随的符号，并对这些符号构造出一个新项目B -> .γ，其中γ是从β中的符号和G的终结符号中的符号构成的字符串。

对于I0中的项目集，我们找出了所有可能跟随S的符号，并构造出了一个新项目集I1：

I0: S' -> .S
S -> .L=R
S -> .R
L -> .*R
L -> .i
R -> .L

I1: S' -> S.
S -> L.=R
L -> .R
R -> .L

接下来，我们需要为I1中每个项目找出后继符号，并构造出一个新的项目集。对于I1中的项目集，我们找出了所有可能跟随L、R和.=的符号，并构造出了一个新项目集I2：

I0: S' -> .S
S -> .L=R
S -> .R
L -> .*R
L -> .i
R -> .L

I1: S' -> S.
S -> L.=R
L -> .R
R -> .L

I2: S' -> S
L -> R.=.R
R -> .L

现在，我们需要为I2中每个项目找出后继符号，并构造出一个新的项目集。对于I2中的项目集，我们找出了所有可能跟随L和.=的符号，并构造出了一个新项目集I3：

I0: S' -> .S
S -> .L=R
S -> .R
L -> .*R
L -> .i
R -> .L

I1: S' -> S.
S -> L.=R
L -> .R
R -> .L

I2: S' -> S
L -> R.=.R
R -> .L

I3: S' -> S
L -> R.=.R
L -> R.

现在，我们已经构造出了所有可能的项目集。对于每个项目集，我们需要找出其中每个项目的后继符号，并将这些符号与文法中的所有终结符号一起加入分析表中。对于每个非终结符号，我们需要在表中添加一个新的行，并在该行下方添加所有可能跟随该非终结符号的符号。对于每个终结符号，我们需要在表中添加一个新的列。

接下来，对于每个项目集，我们需要确定在分析表中填写什么内容。对于每个项目A -> α.Bβ，如果B是一个终结符号，我们在分析表的[A, B]位置中填写shift j，其中j是包含项目B -> .γ的项目集的编号。如果B是一个非终结符号，我们需要在分析表的[A, B]位置中填写goto j，其中j是包含项目B -> .γ的项目集的编号。

对于每个项目A -> α.，如果A是S'，我们在分析表的[A, $]位置中填写accept。否则，我们在分析表的[A, b]位置中填写reduce j，其中j是包含项目A -> α.的项目集的编号。同时，我们需要让所有可能在A -> α.之前出现的符号b在分析表的[A, b]位置中填写reduce j，其中j是包含项目A -> α.的项目集的编号。

最后，我们可以得到如下的LR(1)分析表：

| | i | = | * | $ | S | L | R |
| --- | - | - | - | - | - | - | - |
| 0 | s5 | | s4 | | 1 | | 2 |
| 1 | | | | acc| | | |
| 2 | | s6 | | r1 | | | |
| 3 | | r3 | s7 | r3 | | | |
| 4 | s5 | | s4 | | | | 8 |
| 5 | | r5 | r5 | r5 | | | |
| 6 | s5 | | s4 | | | | |
| 7 | s5 | | s4 | | | | |
| 8 | | r2 | s7 | r2 | | | |

其中，s表示shift，r表示reduce，acc表示接受。注意，我们没有在表中列出所有可能的后继符号，而是只列出了文法中的终结符号和可能的非终结符号。如果需要，可以将表扩展到包含所有可能的后继符号。