赞 | 0 |
VIP | 0 |
好人卡 | 7 |
积分 | 1 |
经验 | 5012 |
最后登录 | 2014-2-28 |
在线时间 | 163 小时 |
Lv1.梦旅人
- 梦石
- 0
- 星屑
- 50
- 在线时间
- 163 小时
- 注册时间
- 2011-11-12
- 帖子
- 56
|
@Kimu @各种压力的猫君 @Shy07
根據形式文法定義,嚴格來講 RGSS (甚至其它所有建立在單純的編程語言上的庫或框架)確實是一個不同於 Ruby 的形式語言。
在乔姆斯基谱系中:遞歸可枚舉語言(0型語言) ⊃ 上下文有關语言(1型語言) ⊃ 上下文無關語言(2型語言) ⊃ 正則語言(3型語言)。RGSS 與 Ruby 有相同的字母表、終端符號表,非終端符號表以及上下文無關的生產規則,所以描述 RGSS 和 Ruby 的上下文無關文法是一致的;然而 RGSS 定義了新的一套 API,這意味著在 Ruby 語言原有的基礎上增添了新的語意,使得 RGSS 和 Ruby 各自的上下文有關的生產規則有所不同,RGSS 的上下文有關文法自動機是线性有界非確定性圖靈機,它可以接受的輸入是 Ruby 的等價圖靈機所能接受的超集。再往上看一層,RGSS 和 Ruby 兩者皆為递归可枚举語言集合的元素,所以都是圖靈完全的語言。 |
|