ماشین حالات متناهی: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جز Removing Link GA template (handled by wikidata)
Rezabot (بحث | مشارکت‌ها)
جز ربات ردهٔ همسنگ (۲۶) +املا+مرتب+تمیز (۹.۱): + رده:زبان‌های صوری
خط ۱:
[[پرونده:Finite state machine example with comments.svg|thumbبندانگشتی|225px|leftچپ|Fig.1 نمونه‌ای از یک ماشین حالات متناهی]]
 
'''ماشین‌های حالات متناهی''' (Finite state machines) اختصاراً FSM، به مدل‌هایی مجرد<ref>Abstract</ref> از ماشین‌ها <ref>Automaton</ref> اطلاق می‌گردد که قادرند در مجموعه‌ای متناهی از [[حالت|حالات]]<ref>States</ref> وجود داشته باشند.
 
یک ماشین حالت متناهی، یک ابزار ریاضی برای توصیف پردازش توسط یک ماشین است. یک FSM می‌تواند در یکی از تعداد متناهی حالات مفروض باشد و با دریافت هر ورودی بین این حالات حرکت کند. به بیان بهتر از حالتی به حالت دیگر با توجه به اندازه یا نوع ورودی (مثلامثلاً مقدار ۰ یا ۱ یا علامت مثبت یا منفی) منتقل شود. بعد از حالت اولیه (استارت استیت) نماد ورودی خوانده می‌شود، تعدادی عمل محاسباتی با توجه به همان نماد خوانده شده انجام شده، نمادی خارج کرده (تولید) و به حالتی دیگر با توجه به نماد ورودی جدید، منتقل می‌شود. در این حال اگر FSM در حالتی ورودی‌ای بگیرد و در آن حالت مسیر حرکت برای نماد ورودی تعیین نشده باشد، اصطلاحااصطلاحاً ماشین گیر خواهد کرد.<ref>http://www.davidsalomon.name/DC2advertis/AppendF.pdf</ref>
 
== موارد کاربرد ==
 
ماشین‌های حالات متناهی را به وفور در کاربردهای وابسته به [[علوم کامپیوتر]] و [[شبکه داده‌ها|شبکهٔ داده‌ها]] مورد استفاده قرار می‌دهند<ref>ریاضیات گسسته و کاربردهای آن، ص. ۷۹۶</ref>
همین طور ماشین‌های حالات متناهی می توانند تعداد زیادی از مسئله ها را مدلسازی کنند که در بین آن ها می توان به ماشین طراحی الکترونیکی ، طراحی پروتکل ارتباطات ، تجزیه گر زبان و دیگر کاربردهای مهندسی نام برد.در تحقیقات زیست شناسی و[[ هوش مصنوعی]] ، ماشین های حالت یا ماشین های حالت سلسله مراتبی برای توصیف [[دستگاه عصبی]] و در زبان شناسی به منظور توصیف گرامرهای زبان های طبیعی استفاده می شوند .
 
از لحاظ یک مدل محاسباتی انتزاعی ، ماشین‌های حالات متناهی نسبت به دیگر مدل های محاسباتی نظیر [[ماشین تورینگ]] قدرت محاسباتی کمتری دارند.<ref>^ Belzer, Jack; Albert George Holzman, Allen Kent (1975). Encyclopedia of Computer Science and Technology, Vol. 25. USA: CRC Press. pp. 73. ISBN 08247227520-8247-2275-2.</ref>به این معنا که کارهایی هست که FSM نمی تواندنمی‌تواند انجام دهد اما ماشین تورینگ می تواند. این به خاطر این است که FSM حافظه محدود دارد. حافظه محدود به تعداد حالات متناهی شده است.<ref>http://en.wikipedia.org/wiki/Finite_state_machine</ref>
 
== پانوشته‌ها ==
 
<References />
 
== جستارهای وابسته ==
 
* [[ماشین‌های تورینگ]]
 
== منابع ==
{{پانویس}}
* [http://highered.mcgraw-hill.com/sites/0072880082/information_center_view0 ریاضیات گسسته و کاربردهای آن] {{نشان زبان|en}}
{{چپ‌چین}}
خط ۲۶:
{{پایان چپ‌چین}}
 
== پیوند به بیرون ==
== پیوندهای بیرونی ==
{{انبارویکی‌انبار-رده|Finite state machine}}
 
[[رده:اتوماتا]]
[[رده:الکترونیک دیجیتال]]
[[رده:روش‌های صوری]]
[[رده:زبان‌های صوری]]
[[رده:مدل‌های محاسباتی]]
[[رده:نظریه اتوماتا]]