代码之家 › 专栏 › 技术社区 › Stephane Rolland

在Backus-Naur形式中,逗号“,”在定义符号时是什么意思

bnf concurrency

Stephane Rolland · 技术社区 · 14 年前

我是π微积分的新手,就像我是巴克斯诺尔形式的新手一样。这里是Pi微积分的核心BNF之一(在Peter Sewell的“Applied Pi-A Brief Tutorial”中找到)

P,Q ::= 0                        nil
        P | Q                    parallel composition of P and Q
        ~cv                      output v on channel c
        cw.P                     input from channel c
        new c in P               new channel name creation

实际上,我专注于学习π微积分。但我确实想知道P,Q::=在BNF定义中的含义。

我理解P::=意味着π演算的过程P是this,this,this。但是P,Q::=代表什么呢?

1 回复 | 直到 14 年前

Gilles 'SO- stop being evil' 14 年前

这里,这意味着字母 P 和 Q 两者都用来表示过程。例如,在 P | Q ,

P ::= 0
      P1 | P2
      ~cv
      cw.P
      new c in P

但为了使公式更具可读性,我们倾向于允许两个不同的字母引用同一个概念。

顺便说一句,BNF中的备选方案通常用竖条隔开;但是自从竖条 |

推荐文章

a a · 为什么在这个可重入锁示例中需要引用计数?

3 年前

Grant · goroutines有高空闲唤醒电话

3 年前

CapBul · 只有case子句(没有case表达式)和default case的select语句在Golang中做什么?

3 年前

Teho · NodeJs服务器如何处理并发请求?(关于数据库端的问题)

3 年前

plpm · 如何在Python中的进程之间发送和接收消息(通过通道)?

3 年前

hoaz · 如何安全地清理并发映射

7 年前

Ettapp · MySQL/PostgreSQL-这是否可以在事务中执行并行写入?

7 年前

Alanpatchi · int基元类型的volatile声明

7 年前

arash kordi · golang仅在writer进行更改时阻止读卡器

7 年前