连续替换给定元素的列表操作的名称
Name of the list operation that successively replaces a given element
连续用另一个列表的每个元素替换一个列表的给定元素的列表操作(它出现在例如将逻辑公式转换为子句范式)是否有标准名称?
示例:给定输入
[0, 1, 2, 3], [a, b, c]
并应用位置2的操作,输出为
[[0, 1, a, 3],
[0, 1, b, 3],
[0, 1, c, 3]]
在正则表达式中,这种展开形式
> 0 1 {a | b | c} 3
0 1 a 3
0 1 b 3
0 1 c 3
被称为交替。
连续用另一个列表的每个元素替换一个列表的给定元素的列表操作(它出现在例如将逻辑公式转换为子句范式)是否有标准名称?
示例:给定输入
[0, 1, 2, 3], [a, b, c]
并应用位置2的操作,输出为
[[0, 1, a, 3],
[0, 1, b, 3],
[0, 1, c, 3]]
在正则表达式中,这种展开形式
> 0 1 {a | b | c} 3
0 1 a 3
0 1 b 3
0 1 c 3
被称为交替。