中文
Sign in
AI tools
热门问题
时间线
聊天
Loading AI tools
全部
文章
字典
引用
地图
Refal
来自维基百科,自由的百科全书
Found in articles
同像性
表形式的S-表达式来给出,它可以由其他LISP代码来操纵。這類語言的其他例子有Clojure(一种現代流行的LISP方言),Rebol和
Refal
(英语:
Refal
),以及最近的Julia等編程語言。 同像性一詞的原始來源,是論文《編譯器語言的巨集指令擴展》。其依據是早期具影響力的論文《TRAC(英语:TRAC
马尔可夫算法
马尔可夫算法是使用类似形式文法的规则在符号串上操作的字符串重写系统。马尔可夫算法被证明是图灵完全的,这意味着它们适合作为一般的计算模型,并可以用它的简单概念表示任何数学表达式。
Refal
是基于马尔可夫算法的编程语言。 自顶向下依次检查规则,看是否能在符号串中找到任何在箭头左边的字符串。 如果没有找到,停止执行算法。
自动机编程
793。 狀態機的思维也可以用來描述一些程式語言的語義,例如執行一個
Refal
語言的程式就可以描述為在抽象
Refal
機器上執行一連串的步驟,機器的狀態稱為view(任意的
Refal
表示式,其中沒有變數)。 Scheme程式語言不是一個和狀態機有關的程式語言(Scheme為遞
模式匹配
具有模式匹配构造的早期编程语言包括:COMIT(1957年)、SNOBOL(1962年)、具有树状模式的
Refal
(英语:
Refal
)(1968年)、Prolog(1972年)、SASL(1976年)、NPL(1977年)和KRC(1981年)。
编程语言列表
QPL R R++ Racket RAPID Rapira Ratfiv Ratfor rc Reason REBOL Red Redcode
Refal
Reia REXX Rlab ROOP RPG RPL RSL RTL/2 Ruby RuneScript Rust S S2 S3 S-Lang