状态转换矩阵不可以定义有限自动机。

这个说法是错误的。状态转换矩阵可以用来定义有限状态自动机（FSM，也称为有限状态机），它是一种计算模型，用于描述具有有限数量状态的系统的行为。在有限状态自动机中，状态之间的转换是根据输入符号和当前状态来确定的，每个状态都对应着一种行为或输出。

状态转换矩阵是一种表示有限状态自动机的方法，它将每个状态和每个输入符号映射到下一个状态。矩阵中的每个元素都表示一个状态转换，其中行号表示当前状态，列号表示输入符号，而矩阵中的元素则表示下一个状态。通过状态转换矩阵，可以清晰地描述有限状态自动机的行为和状态转换规则。

因此，状态转换矩阵是用于定义有限状态自动机的一种有效方法，可以用来描述各种计算机程序和系统的行为和状态转换规则。