ماشین حالات متناهی
From Wikipedia, the free encyclopedia
From Wikipedia, the free encyclopedia
ماشین‌های حالات متناهی (Finite state machines) اختصاراً FSM، به مدل‌هایی مجرد[1] از ماشین‌ها[2] گفته می‌شود که قادرند در مجموعه‌ای متناهی از حالات[3] وجود داشته باشند.
یک ماشین حالت متناهی، یک ابزار ریاضی برای توصیف پردازش توسط یک ماشین است. یک FSM می‌تواند در یکی از تعداد متناهی حالات مفروض باشد و با دریافت هر ورودی بین این حالات حرکت کند. به بیان بهتر از حالتی به حالت دیگر با توجه به اندازه یا نوع ورودی (مثلاً مقدار ۰ یا ۱ یا علامت مثبت یا منفی) منتقل شود. بعد از حالت اولیه (استارت استیت) نماد ورودی خوانده می‌شود، تعدادی عمل محاسباتی با توجه به همان نماد خوانده شده انجام شده، نمادی خارج کرده (تولید) و به حالتی دیگر با توجه به نماد ورودی جدید، منتقل می‌شود. در این حال اگر FSM در حالتی ورودی‌ای بگیرد و در آن حالت مسیر حرکت برای نماد ورودی تعیین نشده باشد، اصطلاحاً ماشین گیر خواهد کرد.[4]
ماشین‌های حالات متناهی را به وفور در کاربردهای وابسته به علوم کامپیوتر و شبکهٔ داده‌ها مورد استفاده قرار می‌دهند[5] همین‌طور ماشین‌های حالات متناهی می‌توانند تعداد زیادی از مسئله‌ها را مدلسازی کنند که در بین آن‌ها می‌توان به ماشین طراحی الکترونیکی، طراحی پروتکل ارتباطات، تجزیه گر زبان و دیگر کاربردهای مهندسی نام برد. در تحقیقات زیست‌شناسی و هوش مصنوعی، ماشین‌های حالت یا ماشین‌های حالت سلسله مراتبی برای توصیف دستگاه عصبی و در زبان‌شناسی به منظور توصیف گرامرهای زبان‌های طبیعی استفاده می‌شوند.
از لحاظ یک مدل محاسباتی انتزاعی، ماشین‌های حالات متناهی نسبت به دیگر مدل‌های محاسباتی نظیر ماشین تورینگ قدرت محاسباتی کمتری دارند.[6]به این معنا که کارهایی هست که FSM نمی‌تواند انجام دهد اما ماشین تورینگ می‌تواند. این به خاطر این است که FSM حافظه محدود دارد. حافظه محدود به تعداد حالات متناهی شده‌است.[7]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
