在AWS Step Functions中，substring函数是一个字符串函数，用于从给定字符串中提取一个子字符串。

substring函数的语法如下：

"States": {
  "ExampleState": {
    "Type": "Task",
    "Resource": "arn:aws:states:::aws-sdk:lambda:invoke",
    "Parameters": {
      "FunctionName": "arn:aws:lambda:REGION:ACCOUNT_ID:function:FUNCTION_NAME",
      "Payload": {
        "input.$": "$",
        "substring.$": "$.input.string.substring(START_INDEX, END_INDEX)"
      }
    },
    "End": true
  }
}

在上面的示例中，substring函数被用于提取输入字符串中的子字符串。START_INDEX和END_INDEX参数指定了要提取的子字符串的起始索引和结束索引。索引从0开始计数。

例如，假设输入字符串为"Hello World"，要提取的子字符串的起始索引为6，结束索引为10，则可以使用以下Step Functions定义：

{
  "input": {
    "string": "Hello World"
  }
}

{
  "Comment": "A Hello World example of the Amazon States Language using a Pass state",
  "StartAt": "ExampleState",
  "States": {
    "ExampleState": {
      "Type": "Task",
      "Resource": "arn:aws:states:::aws-sdk:lambda:invoke",
      "Parameters": {
        "FunctionName": "arn:aws:lambda:REGION:ACCOUNT_ID:function:FUNCTION_NAME",
        "Payload": {
          "input.$": "$",
          "substring.$": "$.input.string.substring(6, 10)"
        }
      },
      "End": true
    }
  }
}

上述Step Functions定义将触发一个Lambda函数并传递输入字符串作为payload。Lambda函数将使用substring函数从输入字符串中提取索引为6到10的子字符串，并返回结果。