International Journal of Modern Education and Computer Science (IJMECS)
IJMECS Vol. 18, No. 3, 8 Jun. 2026
Cover page and Table of Contents: PDF (size: 1632KB)
Automata-Theoretic Framework for Modeling and Optimizing Library Resource Allocation
PDF (1632KB), PP.167-189
Views: 0 Downloads: 0
Author(s)
Index Terms
Automata Theory, Deterministic Finite Automata, Library Resource Allocation, State Transition Systems
Abstract
The efficient allocation of finite resources to a dynamic patron base represents a core challenge in modern library management. Traditional heuristic approaches often lack the formal rigor needed for verifiable optimization and proactive planning. This paper introduces a novel formal framework grounded in automata theory to model library operations, patron behavior, and resource allocation strategies. We define a Library Resource Automaton (LRA), a deterministic finite automaton whose states represent distinct configurations of resource availability, whose input alphabet encapsulates patron interactions, and whose transition function formally encodes allocation policies. By interpreting sequences of patron actions as strings in a formal language, the LRA provides a computationally tractable and analytically powerful model for simulating library states, predicting bottlenecks, and synthesizing optimal allocation strategies. We elaborate on the theoretical foundations of the model, present a detailed multi-layer automata architecture for handling complex, multi-resource scenarios, and discuss algorithms for state space analysis and policy optimization. Furthermore, we explore the integration of temporal logic for specifying and verifying critical system properties such as fairness and liveness. This work establishes a rigorous bridge between theoretical computer science and library information science, offering a new paradigm for building predictable, efficient, and patron-centric library management systems.
Cite This Paper
Krishna Kumari R., Janaki K., Arulprakasam R., "Automata-Theoretic Framework for Modeling and Optimizing Library Resource Allocation", International Journal of Modern Education and Computer Science(IJMECS), Vol.18, No.3, pp. 167-189, 2026. DOI:10.5815/ijmecs.2026.03.11
Reference
[1]Esparza, J., & Blondin, M. (2023). Automata theory: An algorithmic approach. MIT Press.
[2]Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2006). Introduction to automata theory, languages, and computation (3rd ed.). Pearson Education.
[3]Sipser, M. (2012). Introduction to the theory of computation (3rd ed.). Cengage Learning.
[4]Cassandras, C. G., & Lafortune, S. (2008). Introduction to discrete event systems (2nd ed.). Springer-Verlag.
[5]Morse, P. M. (1968). Library effectiveness: A systems approach. The MIT Press.
[6]Buckland, M. K. (1972). Book availability and the library user. Pergamon Press.
[7]Burrell, Q. J. (1980). A simple stochastic model for library loans. Journal of Documentation, 36(2), 115–132.
[8]Buyya, R., & Murshed, M. (2002). Gridsim: A toolkit for the modeling and simulation of distributed resource management and scheduling for grid computing. Concurrency and Computation: Practice and Experience, 14(13–15), 1175–1220.
[9]Borin, J., & Yi, H. (2011). Assessing an academic library collection through capacity and usage indicators: testing a multi-dimensional model. Collection Building, 30(3), 120–125.
[10]Johnson, Q. (2016). Moving from analysis to assessment: Strategic assessment of library collections. Journal of Library Administration, 56(4), 488–498.
[11]Yunus, N., Nasir Ismail, M., & Osman, G. (2025). Smart library themes and elements: A systematic literature review. Journal of Librarianship and Information Science, 57(1), 175–190.
[12]Shi, X., Hao, C., Yue, D., & Lu, H. (2024). Library book recommendation with CNN-FM deep learning approach. Library Hi Tech, 42(5), 1559–1578.
[13]Abdulwahid, A. H., Pattnaik, M., Palav, M. R., Babu, S. T., Manoharan, G., & Selvi, G. P. (2023, April). Library management system using artificial intelligence. In 2023 Eighth International Conference on Science Technology Engineering and Mathematics (ICONSTEM) (pp. 1–7). IEEE.
[14]Ahmadi, M., Dileepan, P., & Murgai, S. R. (2012). A simulation model of the arrival, flow, and usage pattern of library resources by the patrons. The Bottom Line, 25(4), 177–189.
[15]Salton, G. (1980). Automatic information retrieval. Computer, 13(9), 41–56.
[16]Kohut, D. R. (1986). A Markov model applied to the circulation of social science and literature books in a public library. Collection Building, 7(4), 12–19.
[17]Zanakis, S. H. (1991). A multicriteria approach for library needs assessment and budget allocation. Socio- Economic Planning Sciences, 25(3), 233–245.
[18]Ikwuanusi, U. F., Azubuike, C. H. I. M. A., Odionu, C. S., & Sule, A. K. (2022). Leveraging AI to address resource allocation challenges in academic and research libraries. IRE Journals, 5(10), 311.
[19]MIT Libraries. (2023). Anonymized circulation transaction logs, 2018–2022 academic years [Dataset]. MIT Libraries Data Services. Subset: Computer Science and Engineering collections.
[20]Siguenza-Guzman, L., Van den Abbeele, A., Vandewalle, J., Verhaaren, H., & Cattrysse, D. (2015). A holistic approach to supporting academic libraries in resource allocation processes. The Library Quarterly, 85(3), 295–318.