3、FSM编程基础与函数设计

FSM编程基础与函数设计

1. FSM语法定义

在编程中，自定义函数是编程语言实用性的重要体现。在FSM里，函数和常量的定义有特定的语法规则：
- 常量定义： ( define <identifier> <expression> ) ，这里的 <identifier> 是变量名， <expression> 是常量的值的表达式。
- 命名函数定义： ( define ( <id> <id>∗) <expr>+ ) ，其中括号内第一个 <id> 是函数名，后续的 <id> 是参数， <expr> 是函数体的表达式。

下面是一个示例程序：

#lang fsm
(define X 220)
(define Y -10)
;; number number →number
;; Purpose: Compute f(a, b) = 2a + b
(define (f a b) (+ (* 2 a) b))
(check-equal? (f 0 0) 0)
(check-equal? (f X Y) 430)

这个程序定义了两个常量 X 和 Y ，以及一个函数 f