我收到了一份基于正式语言的作业，我读过关于Zed语言的文章，但我没有正确理解如何把我读过的东西放在一起 . 它不一定是Zed语言本身，你可以使用任何正式的方法语言，我只想看一个示例演示，所以我把以下内容放在一起 .
-
创建1000个元素整数数组 .
-
使用100到1000范围内的随机数填充数组 .
-
使用插入排序技术对数组进行排序 .
-
使用二进制搜索算法在数组中搜索值857,235,78,567,234,165,1020 .
以上是我应该用正式的方法表示法写的，有人可以请出示上述4个步骤，并赞扬解释吗？我也非常喜欢我可以学习的任何资源或类来学习replier将使用的正式方法语言 .