连续替换给定元素的列表操作的名称

Question

将一个列表的给定元素连续替换为另一个列表的每个元素的列表操作（它出现在例如将逻辑公式转换为子句范式）是否具有标准名称？

示例：给定输入

[0, 1, 2, 3], [a, b, c]

并在位置 2 应用操作，输出为

[[0, 1, a, 3],
 [0, 1, b, 3],
 [0, 1, c, 3]]

Answer 1

在正则表达式中，这种形式的展开

> 0 1 {a | b | c} 3 
0 1 a 3 
0 1 b 3 
0 1 c 3 

被称为交替。