Refal

马尔可夫算法是使用类似形式文法的规则在符号串上操作的字符串重写系统。马尔可夫算法被证明是图灵完全的，这意味着它们适合作为一般的计算模型，并可以用它的简单概念表示任何数学表达式。 Refal是基于马尔可夫算法的编程语言。 自顶向下依次检查规则，看是否能在符号串中找到任何在箭头左边的字符串。 如果没有找到，停止执行算法。

793。 狀態機的思维也可以用來描述一些程式語言的語義，例如執行一個Refal語言的程式就可以描述為在抽象Refal機器上執行一連串的步驟，機器的狀態稱為view（任意的Refal表示式，其中沒有變數）。 Scheme程式語言不是一個和狀態機有關的程式語言（Scheme為遞

表形式的S-表达式来给出，它可以由其他LISP代码来操纵。這類語言的其他例子有Clojure（一种現代流行的LISP方言），Rebol和Refal（英语：Refal），以及最近的Julia等編程語言。 同像性一詞的原始來源，是論文《編譯器語言的巨集指令擴展》。其依據是早期具影響力的論文《TRAC（英语：TRAC

Solomon（英语：Cynthia Solomon） LISP 1968 MAPPER（英语：MAPPER） 優利系統 CRT RPS 1968 REFAL（英语：REFAL） (implementation) Valentin Turchin（英语：Valentin Turchin） 無 1968 TTM（英语：TTM

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