الرئيسيةعريقبحث

آلة ذات حالات منتهية

☰ جدول المحتويات

آلة الحالات المنتهية (Finite-State Machine اختصاراً FSM)‏ أو ببساطة آلة الحالات هي نموذج حوسبة رياضي يستخدم لتصميم دارات المنطق المتتابع والبرامج الحاسوبية.[1][2] وينظر على أنها آلة مجردة يمكن أن تكون في واحدة من عدد محدود من الحالات. تكون الآلة في حالة واحدة فقط في وقت واحد؛ ويطلق على هذه الحالة في هذه اللحظة: الحالة الراهنة. ويمكن أن تتغير من حالة إلى أخرى عند تفعيل حدث ما أو شرط؛ وهذا ما يسمى مرحلة انتقالية. وتعرف آلة حالات منتهية محددة بقائمة من حالاتها، حالتها الأولية، وشرط الانتقال من كل حالة إلى أخرى.

آلة الحالات المنتهية يمكن أن تحل عدد كبير من المشاكل، ومنها ماهو متمم لتصميم الإلكتروني وتصميم بروتوكول الاتصال والتحليل والتطبيقات الهندسية الأخرى. وبحوث البيولوجيا وبحوث الذكاء الاصطناعي، وتستخدم أحياناً لوصف النظم العصبية، واللغويات ويمكن استخدامها لوصف لسانيات اللغات الطبيعية.

أمثلة

SdlStateMachine.png
Finite state machine example with comments.svg

مقالات ذات صلة

مراجع

  1. "معلومات عن آلة ذات حالات منتهية على موقع babelnet.org". babelnet.org. مؤرشف من الأصل في 08 ديسمبر 2019.
  2. "معلومات عن آلة ذات حالات منتهية على موقع xlinux.nist.gov". xlinux.nist.gov. مؤرشف من الأصل في 13 أكتوبر 2018.
  • Sakarovitch, Jacques (2009). Elements of automata theory. Translated from the French by Reuben Thomas. مطبعة جامعة كامبريدج.  . Zbl = complete&q = an:1188.68177 1188.68177
  • Wagner, F., "Modeling Software with Finite State Machines: A Practical Approach", Auerbach Publications, 2006, .
  • ITU-T, Recommendation Z.100 Specification and Description Language (SDL)
  • Samek, M., Practical Statecharts in C/C++, CMP Books, 2002, .
  • Samek, M., Practical UML Statecharts in C/C++, 2nd Edition, Newnes, 2008, .
  • Gardner, T., Advanced State Management, 2007
  • Cassandras, C., Lafortune, S., "Introduction to Discrete Event Systems". Kluwer, 1999, .
  • Timothy Kam, Synthesis of Finite State Machines: Functional Optimization. Kluwer Academic Publishers, Boston 1997,
  • Tiziano Villa, Synthesis of Finite State Machines: Logic Optimization. Kluwer Academic Publishers, Boston 1997,
  • Carroll, J., Long, D., Theory of Finite Automata with an Introduction to Formal Languages. Prentice Hall, Englewood Cliffs, 1989.
  • Kohavi, Z., Switching and Finite Automata Theory. McGraw-Hill, 1978.
  • Gill, A., Introduction to the Theory of Finite-state Machines. McGraw-Hill, 1962.
  • Ginsburg, S., An Introduction to Mathematical Machine Theory. Addison-Wesley, 1962.
  • Arbib, Michael A. (1969). Theories of Abstract Automata (الطبعة 1st). Englewood Cliffs, N.J.: Prentice-Hall, Inc.  .
  • Bobrow, Leonard S.; Arbib, Michael A. (1974). Discrete Mathematics: Applied Algebra for Computer and Information Science (الطبعة 1st). Philadelphia: W. B. Saunders Company, Inc.  .
  • Booth, Taylor L. (1967). Sequential Machines and Automata Theory (الطبعة 1st). New York: John Wiley and Sons, Inc. Library of Congress Card Catalog Number 67-25924.
  • Boolos, George; Jeffrey, Richard (1989, 1999). Computability and Logic (الطبعة 3rd). Cambridge, England: Cambridge University Press.  .
  • Brookshear, J. Glenn (1989). Theory of Computation: Formal Languages, Automata, and Complexity. Redwood City, California: Benjamin/Cummings Publish Company, Inc.  .
  • Davis, Martin; Sigal, Ron; Weyuker, Elaine J. (1994). Computability, Complexity, and Languages and Logic: Fundamentals of Theoretical Computer Science (الطبعة 2nd). San Diego: Academic Press, Harcourt, Brace & Company.  .
  • Hopcroft, John; Ullman, Jeffrey (1979). Introduction to Automata Theory, Languages, and Computation (الطبعة 1st). Reading Mass: Addison-Wesley.  .
  • Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2001). Introduction to Automata Theory, Languages, and Computation (الطبعة 2nd). Reading Mass: Addison-Wesley.  .
  • Hopkin, David; Moss, Barbara (1976). Automata. New York: Elsevier North-Holland.  .
  • Kozen, Dexter C. (1997). Automata and Computability (الطبعة 1st). New York: Springer-Verlag.  .
  • Lewis, Harry R.; Papadimitriou, Christos H. (1998). Elements of the Theory of Computation (الطبعة 2nd). Upper Saddle River, New Jersey: Prentice-Hall.  .
  • Linz, Peter (2006). Formal Languages and Automata (الطبعة 4th). Sudbury, MA: Jones and Bartlett.  .
  • Minsky, Marvin (1967). Computation: Finite and Infinite Machines (الطبعة 1st). New Jersey: Prentice-Hall.
  • Papadimitriou, Christos (1993). Computational Complexity (الطبعة 1st). Addison Wesley.  .
  • Pippenger, Nicholas (1997). Theories of Computability (الطبعة 1st). Cambridge, England: Cambridge University Press.  .
  • Rodger, Susan; Finley, Thomas (2006). JFLAP: An Interactive Formal Languages and Automata Package (الطبعة 1st). Sudbury, MA: Jones and Bartlett.  .
  • Sipser, Michael (2006). Introduction to the Theory of Computation (الطبعة 2nd). Boston Mass: Thomson Course Technology.  .
  • Wood, Derick (1987). Theory of Computation (الطبعة 1st). New York: Harper & Row, Publishers, Inc.  .
  • Yuri Gurevich (2000), Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, vl. 1, no. 1 (July 2000), pages 77–111. http://research.microsoft.com/~gurevich/Opera/141.pdf
  • Mitchell, Tom M. (1997). Machine Learning (الطبعة 1st). New York: WCB/McGraw-Hill Corporation.  .
  • Booth, Taylor L. (1967). Sequential Machines and Automata Theory (الطبعة 1st). New York: John Wiley and Sons, Inc. Library of Congress Card Catalog Number 67-25924.
  • Booth, Taylor L. (1971). Digital Networks and Computer Systems (الطبعة 1st). New York: John Wiley and Sons, Inc.  .
  • McCluskey, E. J. (1965). Introduction to the Theory of Switching Circuits (الطبعة 1st). New York: McGraw-Hill Book Company, Inc. Library of Congress Card Catalog Number 65-17394.
  • Hill, Fredrick J.; Peterson, Gerald R. (1965). Introduction to the Theory of Switching Circuits (الطبعة 1st). New York: McGraw-Hill Book Company. Library of Congress Card Catalog Number 65-17394.
  • Booth, Taylor L. (1967). Sequential Machines and Automata Theory (الطبعة 1st). New York: John Wiley and Sons, Inc. Library of Congress Card Catalog Number 67-25924.
  • Kemeny, John G.; Mirkil, Hazleton; Snell, J. Laurie; Thompson, Gerald L. (1959). Finite Mathematical Structures (الطبعة 1st). Englewood Cliffs, N.J.: Prentice-Hall, Inc. Library of Congress Card Catalog Number 59-12841. Chapter 6 "Finite Markov Chains".

وصلات خارجية

موسوعات ذات صلة :