编写程序，将一个包含有20个数据的数组M分成两个数组:正数数组P和负数N，并分别把这两个数组中数据的个数显示出来的流程图

创建一个程序并使用流程图来分割一个包含20个数据的数组M为正数数组P和负数数组N的过程可以分为以下几个步骤：

1. **初始化**:
- 创建三个变量：`M` (原始数组)，`P` (正数数组) 和 `N` (负数数组)，都为空数组。

2. **遍历数组**:
- 使用for循环从索引0开始，遍历整个数组M。

3. **判断数值**:
- 对于数组M中的每个元素，检查其值：
- 如果元素大于0，将其添加到P数组并更新P数组的计数器（例如`count_P`）。
- 否则（如果元素小于等于0），添加到N数组并更新N数组的计数器（例如`count_N`）。

4. **存储**:
- 在循环结束后，P数组将包含所有正数，N数组包含所有负数。

5. **显示结果**:
- 输出两数组的长度（即正数和负数的数量）：
- `print("正数数组P的大小:", count_P)`
- `print("负数数组N的大小:", count_N)`

6. **绘制流程图**:
- 流程图可能会包含如下步骤节点：
- 开始 -> 初始化数组 -> 遍历数组 -> 判断元素 -> 分别添加到P/N数组 -> 更新计数器 -> 结束前的条件分支（如使用if-else结构）
- 分支1：元素为正 -> 添加到P数组，增加count_P
- 分支2：元素为负 -> 添加到N数组，增加count_N

7. **结束**:
- 返回或终止流程。

这是一个简单的算法描述，实际编程语言的具体实现会依赖于所选的编程语言及其语法。以下是伪代码形式的流程图示意：

开始
    初始化 M, P=[], N=[]
    计数器 count_P = 0, count_N = 0
    遍历 M[0..19]
        若 M[i] > 0
            P.append(M[i])
            count_P++
        否则
            N.append(M[i])
            count_N++
    结束遍历
    显示 count_P, count_N
结束