آلة محدودة الحالات

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

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

أمثلة

انظر أيضا

مراجع
  1. عمر شابسيغ؛ أميمة الدكاك؛ نوار العوا؛ هاشم ورقوزق (2016)، معجم مصطلحات الهندسة الكهربائية والإلكترونية والاتصالات (PDF)، سوريا: مجمع اللغة العربية في سوريا، ص. 74.
  2. معجم الحاسبات (PDF) (ط. الثالثة)، مصر: مجمع اللغة العربية بالقاهرة، 2003، ص. 120.
  3. "معلومات عن آلة ذات حالات منتهية على موقع babelnet.org"، babelnet.org، مؤرشف من الأصل في 08 ديسمبر 2019.
  4. "معلومات عن آلة ذات حالات منتهية على موقع xlinux.nist.gov"، xlinux.nist.gov، مؤرشف من الأصل في 13 أكتوبر 2018.
  • Sakarovitch, Jacques (2009)، Elements of automata theory، Translated from the French by Reuben Thomas، مطبعة جامعة كامبريدج، ISBN 978-0-521-84425-3، Zbl 1188.68177{{استشهاد بكتاب}}: صيانة CS1: postscript (link)
  • 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.
  • Bobrow, Leonard S.؛ Arbib (1974)، Discrete Mathematics: Applied Algebra for Computer and Information Science (ط. 1st)، Philadelphia: W. B. Saunders Company, Inc.، ISBN 0-7216-1768-9.
  • 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 (1989, 1999)، Computability and Logic (ط. 3rd)، Cambridge, England: Cambridge University Press، ISBN 0-521-20402-X. {{استشهاد بكتاب}}: تحقق من التاريخ في: |سنة= (مساعدة)
  • 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.
  • Davis, Martin؛ Sigal؛ Weyuker (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.
  • Hopcroft, John؛ Ullman (1979)، Introduction to Automata Theory, Languages, and Computation (ط. 1st)، Reading Mass: Addison-Wesley، ISBN 0-201-02988-X.
  • Hopcroft, John E.؛ Motwani؛ Ullman (2001)، Introduction to Automata Theory, Languages, and Computation (ط. 2nd)، Reading Mass: Addison-Wesley، ISBN 0-201-44124-1.
  • Hopkin, David؛ Moss (1976)، Automata، New York: Elsevier North-Holland، ISBN 0-444-00249-9.
  • Kozen, Dexter C. (1997)، Automata and Computability (ط. 1st)، New York: Springer-Verlag، ISBN 0-387-94907-0.
  • Lewis, Harry R.؛ Papadimitriou (1998)، Elements of the Theory of Computation (ط. 2nd)، Upper Saddle River, New Jersey: Prentice-Hall، ISBN 0-13-262478-8.
  • Linz, Peter (2006)، Formal Languages and Automata (ط. 4th)، Sudbury, MA: Jones and Bartlett، ISBN 978-0-7637-3798-6.
  • Minsky, Marvin (1967)، Computation: Finite and Infinite Machines (ط. 1st)، New Jersey: Prentice-Hall.
  • Papadimitriou, Christos (1993)، Computational Complexity (ط. 1st)، Addison Wesley، ISBN 0-201-53082-1.
  • Pippenger, Nicholas (1997)، Theories of Computability (ط. 1st)، Cambridge, England: Cambridge University Press، ISBN 0-521-55380-6.
  • Rodger, Susan؛ Finley (2006)، JFLAP: An Interactive Formal Languages and Automata Package (ط. 1st)، Sudbury, MA: Jones and Bartlett، ISBN 0-7637-3834-4.
  • Sipser, Michael (2006)، Introduction to the Theory of Computation (ط. 2nd)، Boston Mass: Thomson Course Technology، ISBN 0-534-95097-3.
  • Wood, Derick (1987)، Theory of Computation (ط. 1st)، New York: Harper & Row, Publishers, Inc.، ISBN 0-06-047208-1.
  • 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.
  • 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.، ISBN 0-471-08840-4.
  • 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 (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؛ Snell؛ Thompson (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".

وصلات خارجية
  • بوابة كهرباء
  • بوابة علم الحاسوب
  • بوابة إلكترونيات
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.