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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

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

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

أمثلة[عدل]

SdlStateMachine.png
Finite state machine example with comments.svg

انظر أيضا[عدل]

مراجع[عدل]

  1. ^ "معلومات عن آلة ذات حالات منتهية على موقع babelnet.org". babelnet.org. مؤرشف من الأصل في 08 ديسمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. ^ "معلومات عن آلة ذات حالات منتهية على موقع xlinux.nist.gov". xlinux.nist.gov. مؤرشف من الأصل في 13 أكتوبر 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Sakarovitch, Jacques (2009). Elements of automata theory. Translated from the French by Reuben Thomas. مطبعة جامعة كامبريدج. ISBN 978-0-521-84425-3. Zbl = complete&q = an:1188.68177 1188.68177 الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Wagner, F., "Modeling Software with Finite State Machines: A Practical Approach", Auerbach Publications, 2006, ISBN 0-8493-8086-3.
  • ITU-T, Recommendation Z.100 Specification and Description Language (SDL)
  • Samek, M., Practical Statecharts in C/C++, CMP Books, 2002, ISBN 1-57820-110-1.
  • Samek, M., Practical UML Statecharts in C/C++, 2nd Edition, Newnes, 2008, ISBN 0-7506-8706-1.
  • Gardner, T., Advanced State Management, 2007
  • Cassandras, C., Lafortune, S., "Introduction to Discrete Event Systems". Kluwer, 1999, ISBN 0-7923-8609-4.
  • Timothy Kam, Synthesis of Finite State Machines: Functional Optimization. Kluwer Academic Publishers, Boston 1997, ISBN 0-7923-9842-4
  • Tiziano Villa, Synthesis of Finite State Machines: Logic Optimization. Kluwer Academic Publishers, Boston 1997, ISBN 0-7923-9892-0
  • 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. ISBN 0-13-913368-2. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Bobrow, Leonard S.; Arbib, Michael A. (1974). Discrete Mathematics: Applied Algebra for Computer and Information Science (الطبعة 1st). Philadelphia: W. B. Saunders Company, Inc. ISBN 0-7216-1768-9. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • 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. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Boolos, George; Jeffrey, Richard (1989, 1999). Computability and Logic (الطبعة 3rd). Cambridge, England: Cambridge University Press. ISBN 0-521-20402-X. الوسيط |CitationClass= تم تجاهله (مساعدة); تحقق من التاريخ في: |سنة= (مساعدة)
  • Brookshear, J. Glenn (1989). Theory of Computation: Formal Languages, Automata, and Complexity. Redwood City, California: Benjamin/Cummings Publish Company, Inc. ISBN 0-8053-0143-7. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • 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. ISBN 0-12-206382-1. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Hopcroft, John; Ullman, Jeffrey (1979). Introduction to Automata Theory, Languages, and Computation (الطبعة 1st). Reading Mass: Addison-Wesley. ISBN 0-201-02988-X. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2001). Introduction to Automata Theory, Languages, and Computation (الطبعة 2nd). Reading Mass: Addison-Wesley. ISBN 0-201-44124-1. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Hopkin, David; Moss, Barbara (1976). Automata. New York: Elsevier North-Holland. ISBN 0-444-00249-9. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Kozen, Dexter C. (1997). Automata and Computability (الطبعة 1st). New York: Springer-Verlag. ISBN 0-387-94907-0. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Lewis, Harry R.; Papadimitriou, Christos H. (1998). Elements of the Theory of Computation (الطبعة 2nd). Upper Saddle River, New Jersey: Prentice-Hall. ISBN 0-13-262478-8. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Linz, Peter (2006). Formal Languages and Automata (الطبعة 4th). Sudbury, MA: Jones and Bartlett. ISBN 978-0-7637-3798-6. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Minsky, Marvin (1967). Computation: Finite and Infinite Machines (الطبعة 1st). New Jersey: Prentice-Hall. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Papadimitriou, Christos (1993). Computational Complexity (الطبعة 1st). Addison Wesley. ISBN 0-201-53082-1. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Pippenger, Nicholas (1997). Theories of Computability (الطبعة 1st). Cambridge, England: Cambridge University Press. ISBN 0-521-55380-6. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Rodger, Susan; Finley, Thomas (2006). JFLAP: An Interactive Formal Languages and Automata Package (الطبعة 1st). Sudbury, MA: Jones and Bartlett. ISBN 0-7637-3834-4. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Sipser, Michael (2006). Introduction to the Theory of Computation (الطبعة 2nd). Boston Mass: Thomson Course Technology. ISBN 0-534-95097-3. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Wood, Derick (1987). Theory of Computation (الطبعة 1st). New York: Harper & Row, Publishers, Inc. ISBN 0-06-047208-1. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • 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. ISBN 0-07-042807-7. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • 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. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Booth, Taylor L. (1971). Digital Networks and Computer Systems (الطبعة 1st). New York: John Wiley and Sons, Inc. ISBN 0-471-08840-4. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • 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. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • 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. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • 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. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • 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. الوسيط |CitationClass= تم تجاهله (مساعدة) Chapter 6 "Finite Markov Chains".

وصلات خارجية[عدل]