Computer science 最小化有限自动机的好处是什么？

最小化离散有限自动机是计算机科学中的一个重要问题。最小化有限自动机有什么好处？这只是一个学术问题吗？

最小化有限自动机的主要原因是为了节省实现成本。当研究有限自动机时，它是关于实现所研究功能的机器。当一个反相器、栅极或存储器组件由一个或多个真空管组成时，这些设备成本高、耗电大、占用空间大，你真的非常想减少真空管的数量和它们之间的连接

---

即使转向固态实现，房地产也常常是一个问题。如果一个特定的有限自动机在系统中被频繁地重用，优化FA会在芯片产量上产生巨大的红利。

最小化自动机总是更可取：（1）高效（如果应用于最小化自动机，则采用相同的算法）（2a）实现所需的元件更少（2b）尺寸更小（2c）更便宜（3）有时答案显而易见（冗余状态可能是不必要复杂性的原因）

Related：你似乎在暗示，最小的FA只具有历史意义。这是胡说八道。在NLP和编译器构造中，FAs仍然非常普遍，而非最小的FAs仍然会变得太大，无法有效地存储/处理。我同意FA优化是当前实践的一部分。我试图传达一种关于它是什么的感觉此外，我想指出的是，优化与最小化并不完全相同——你想根据工具集中可用的原语最小化一个FA，而不仅仅是让它成为规则最少的FA，等等。我不明白你的意思“关于工具集中可用的原语。”FA最小化是一个定义明确的问题，与任何实现无关。某些类型的设备比其他类型的设备更便宜实现或更容易布局。IC布局应用程序中使用的优化算法内置了这些规则，并基于技术进行优化。