ماشین حالات متناهی

ماشین‌های حالات متناهی (Finite state machines) اختصاراً FSM، به مدل‌هایی مجردAbstract از ماشین‌هاAutomaton گفته می‌شود که قادرند در مجموعه‌ای متناهی از حالاتStates وجود داشته باشند.

یک ماشین حالت متناهی، یک ابزار ریاضی برای توصیف پردازش توسط یک ماشین است. یک FSM می‌تواند در یکی از تعداد متناهی حالات مفروض باشد و با دریافت هر ورودی بین این حالات حرکت کند. به بیان بهتر از حالتی به حالت دیگر با توجه به اندازه یا نوع ورودی (مثلاً مقدار ۰ یا ۱ یا علامت مثبت یا منفی) منتقل شود. بعد از حالت اولیه (استارت استیت) نماد ورودی خوانده می‌شود، تعدادی عمل محاسباتی با توجه به همان نماد خوانده شده انجام شده، نمادی خارج کرده (تولید) و به حالتی دیگر با توجه به نماد ورودی جدید، منتقل می‌شود. در این حال اگر FSM در حالتی ورودی‌ای بگیرد و در آن حالت مسیر حرکت برای نماد ورودی تعیین نشده باشد، اصطلاحاً ماشین گیر خواهد کرد.http://www.davidsalomon.name/DC2advertis/AppendF.pdf

 موارد کاربرد 
ماشین‌های حالات متناهی را به وفور در کاربردهای وابسته به علوم کامپیوتر و شبکهٔ داده‌ها مورد استفاده قرار می‌دهندریاضیات گسسته و کاربردهای آن، ص. ۷۹۶
همین‌طور ماشین‌های حالات متناهی می‌توانند تعداد زیادی از مسئله‌ها را مدلسازی کنند که در بین آن‌ها می‌توان به ماشین طراحی الکترونیکی، طراحی پروتکل ارتباطات، تجزیه گر زبان و دیگر کاربردهای مهندسی نام برد. در تحقیقات زیست‌شناسی و هوش مصنوعی، ماشین‌های حالت یا ماشین‌های حالت سلسله مراتبی برای توصیف دستگاه عصبی و در زبان‌شناسی به منظور توصیف گرامرهای زبان‌های طبیعی استفاده می‌شوند.

از لحاظ یک مدل محاسباتی انتزاعی، ماشین‌های حالات متناهی نسبت به دیگر مدل‌های محاسباتی نظیر ماشین تورینگ قدرت محاسباتی کمتری دارند.^ Belzer, Jack; Albert George Holzman, Allen Kent (1975). Encyclopedia of Computer Science and Technology, Vol. 25. USA: CRC Press. pp. 73. .به این معنا که کارهایی هست که FSM نمی‌تواند انجام دهد اما ماشین تورینگ می‌تواند. این به خاطر این است که FSM حافظه محدود دارد. حافظه محدود به تعداد حالات متناهی شده‌است.http://en.wikipedia.org/wiki/Finite_state_machine

 پانوشته‌ها 

 جستارهای وابسته 
 ماشین‌های تورینگ

 منابع 

 ریاضیات گسسته و کاربردهای آن 

 Jackson, Jr. , Philip C. , Introduction to Artificial Intelligence, 2nd enlarged and slightly corrected ed. , Dover Publications, Inc. , New York, 1985. 

 پیوند به بیرون 

رده:اتوماتا (مکانیک)
رده:الکترونیک دیجیتال
رده:روش‌های صوری
رده:زبان‌های صوری
رده:ماشین متناهی
رده:مدل‌های محاسباتی
رده:نظریه اتوماتا
رده:ویکی‌سازی رباتیک