المحتوى هنا ينقصه الاستشهاد بمصادر، أي معلومات غير موثقة يمكن التشكيك بها وإزالتها.

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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Question book-new.svg
المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (يناير 2016)

آلة الحالات المنتهية هي نموذج رياضياتي حوسبي يستخدم لتصميم الدارات البرامج الحاسوبية والمنطق الرقمي

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

أمثلة[عدل]

SdlStateMachine.png
Finite state machine example with comments.svg

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

مراجع[عدل]

  • 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. 
  • Booth، Taylor L. (1967). Sequential Machines and Automata Theory (الطبعة 1st). New York: John Wiley and Sons, Inc. 
  • Boolos، George؛ Jeffrey، Richard (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، 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. 
  • 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. 
  • Hopkin، David؛ Moss، Barbara (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، Christos H. (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. 
  • Pippenger، Nicholas (1997). Theories of Computability (الطبعة 1st). Cambridge, England: Cambridge University Press. ISBN 0-521-55380-6. 
  • Rodger، Susan؛ Finley، Thomas (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. 
  • 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. 
  • Hill، Fredrick J.؛ Peterson، Gerald R. (1965). Introduction to the Theory of Switching Circuits (الطبعة 1st). New York: McGraw-Hill Book Company. 
  • Booth، Taylor L. (1967). Sequential Machines and Automata Theory (الطبعة 1st). New York: John Wiley and Sons, Inc. 
  • Kemeny، John G.؛ Mirkil، Hazleton؛ Snell، J. Laurie؛ Thompson، Gerald L. (1959). Finite Mathematical Structures (الطبعة 1st). Englewood Cliffs, N.J.: Prentice-Hall, Inc. 
Chapter 6 "Finite Markov Chains".

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