Automata-Theoretic Framework for Modeling and Optimizing Library Resource Allocation (International Journal of Modern Education and Computer Science, 2026)