#有限状态机

moatless-tools

Moatless Tools是一个开源项目，致力于探索大语言模型在编辑大型代码库中的应用。该项目通过构建工具插入上下文并处理响应，而非依赖代理推理。在SWE-Bench基准测试中，Moatless Tools使用GPT-4o和Claude 3.5 Sonnet取得了显著成果。项目采用基于有限状态机的循环，包含搜索、识别和计划编码等功能，实现了高效的代码编辑。

keyvi

keyvi是一个开源的键值存储系统,采用有限状态机数据结构,在优化存储空间和查询速度方面表现出色。其主要特性包括高空间效率、快速查询、共享内存支持和强大的可扩展性。keyvi还支持模糊字符串匹配和地理位置匹配功能。该系统可用作嵌入式存储或通过keyvi-server实现网络访问。keyvi提供C++和Python接口,适合处理静态数据集和构建近实时索引。