问题标签 [occam-pi]

Occam-pi 是学习为编程新手编程 LEGO MINDSTORMS & Surveyor Corporation SRV-1 机器人的好语言吗？是否有任何开源项目使用相同的 - 来阅读源代码。occam-pi 的网址：- http://www.transterpreter.org/

我正在寻找有关 occam 2 的在线介绍。有人可以帮我吗？

如果有人能向我解释 occam-pi 中文本动画的原理，我将不胜感激。谢谢。

如果有人可以向我解释扩展会合的概念，我将不胜感激。谢谢。

我真的花了很多时间来解决这个问题并四处搜索以找到解决方案，但我似乎无法找到问题所在。

我正在学习如何编写 occam 代码并拥有以下程序：

我要做的就是在按下“ o”键时从一个进程到另一个进程进行通信。

我从 (KR o C) 编译器得到的错误消息是：

这是light.on = 1行。

据我所见，将等待其上的一些输入，然后将其分配给其. 然后程序将继续执行条件语句，在这种情况下，该行应计算为。但相反，我得到了这个错误。light PROClight.change channellight.on variableIFlight.on = 1true

我曾尝试使用该-verbose标志，但编译器说您不能将其用于 .occ 文件。

有谁知道我如何或是否可以从编译器获得更详细的信息？

对此的任何帮助将不胜感激。

谢谢

在关于通信顺序进程的书中，大量时间都花在定义事件上，这些事件没有方向，可能涉及多个独立的进程。

仅在第4章中介绍了渠道，这些渠道是有针对性的，涉及2个过程。

然而，包括 occam、Go、LuaCSP 和 clojure.core.async 在内的所有 CSP 实现都只实现了通道。

尽管大多数实际问题都可以通过（广播）渠道解决，但我想知道为什么这本书花这么多时间在这些问题上，而没有人使用它们。

我的 occam-pi 应用程序有一个长时间运行的生产者进程，定义如下：

它在通道上发送一个c从 增加start的值step。此处提供了完整示例。

这很好用，我被引导相信无限循环在 CSP中是惯用的。当我的消费算法完成时，问题就出现了。在此示例中，一旦消费者完成，就会发生死锁。

这里描述的TAGGED.INT协议试图解决关闭进程网络的问题，但是，根据我目前的理解，没有简单的方法可以终止主要工作是在通道上发送的生产者。感觉停止生产者的唯一方法是使用某种控制通道并黑洞输出：

此处提供了完整的工作示例。这样做的问题是代码更加不可读-我知道是主观的，但对软件工程很重要-与原始意图相比，原始意图令人费解。这似乎与奥卡姆剃刀原理相矛盾！

使用JCSP、C++CSP2和python-csp可以显式毒化通道以关闭进程网络。出于某种原因，争吵 occam 这样做会污染关闭逻辑的代码，并且看起来不合逻辑。

所以问题是，是否有一种方法可以在不使用示例中的显式通道的情况下终止生产者control进程？

编辑：

此邮件列表存档（ Poison ）中可能包含有关此主题的更多信息，这已经很老了（> 10 年）。所以问题仍然存在，从那时起有什么变化吗，或者这是在 occam-pi 中实现“进程终止”的最佳方式？

我在学习 OCCAM 和 CSP（通信顺序过程）时看到了一个问题。我找到了一些基本答案，例如；

• 它们都用于并行编程，
• 他们得到带有问号（？）的输入，
• 发送带有感叹号（！）的输出。

但我想了解更多关于它们共同特征的技术细节。

我正在尝试在occam中编程，我认为它不是那么容易理解，因为文档不是那么好。无论如何，我希望有人能帮助我。

我只是想学习如何制作一个简单的程序。occam 中的冒泡排序。

我在终端上得到了这张图片： 这段代码有什么问题？

我必须编写一个 Occam 程序，它从标准输入中读取字符，然后打印出与输入字符的值一样多的 '#' 字符。该程序必须有 2 个进程。第一个过程过滤输入。它接受数字和作为输入结尾的“q”字符。

这是一个示例输入：

自卫队 2 351 q

它传递了什么：

2 3 5 1

第二个过程必须打印出与数字值一样多的#字符

所以示例输出是这样的：

## ### ##### #

我试着写它，但我不熟悉奥卡姆。