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

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

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

الأمثلة[عدل]

SdlStateMachine.png
Finite state machine example with comments.svg

قراءات إضافية[عدل]

  • Sakarovitch، Jacques (2009). Elements of automata theory. Cambridge University Press. ISBN 978-0-521-84425-3. 
  • 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، 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؛ Ullman، Jeffrey (1979). Introduction to Automata Theory, Languages, and Computation (الطبعة 1st). Reading Mass: Addison-Wesley. ISBN 0-201-02988-X. 
  • 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. 
  • 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، 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".

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

Nuvola apps kfig.svg هذه بذرة مقالة عن الهندسة التطبيقية بحاجة للتوسيع. شارك في تحريرها.