جدول انتقال حالت

در نظریه ماشین ها و ترتیبی منطق، یک جدول انتقال حالت یک جدول نشان دادن آنچه حالت است ( و یا می گوید در مورد یک ماشین متناهی غیرقطعی ) دستگاه نیمه محدود یا ماشین حالت محدود به حرکت، بر اساس جریان ورودی حالت و دیگر. جدول حالت در اصل یک جدول درستی است که در آن برخی از ورودی ها می باشد وضعیت فعلی و خروجی ها شامل حالت بعدی، همراه با خروجی های دیگر. جدول حالت یکی از راه های بسیاری برای مشخص کردن یک دستگاه حالت، از راه های دیگر به عنوان یک نمودار حالت و معادله مشخصه است.
همچنین جداول مشخصه نامیده می شود، جداول حالت تک بعدی هستند بسیار بیشتر مانند جداول حقیقت نسبت به نسخه دو بعدی. ورودی معمولاً در سمت چپ قرار داده شده، و جدا از خروجی، که در سمت راست می باشد . خروجی حالت بعدی از دستگاه ایجاد خواهد کرد. یک مثال ساده از یک ماشین حالت با دو کشور و دو ورودی ترکیبی زیر است:
S1 و S2 به احتمال زیاد نشان دهنده تک بیت 0 و 1، از یک بیت فقط می تواند دو حالت داشته باشد
جداول گذار حالت جداول دو بعدی می باشد به طور معمول. دو نوع رایج برای تنظیم آن ها وجود دارد. - عمودی ( یا افقی ) بعد نشان می دهد ایالات در حال حاضر، بعد افقی ( یا عمودی ) نشان می دهد وقایع، و سلول ( تقاطع سطر / ستون ) در جدول شامل حالت بعدی اگر یک رویداد رخ می دهد ( و احتمالاً اقدام مربوط به این حالت انتقال ) .
s: حالت e: واقعه a: عمل یا حرکت: انتقال غیرقانونی
بعد عمودی ( یا افقی ) نشان می دهد ایالات در حال حاضر، بعد افقی ( یا عمودی ) نشان می دهد حالت های بعدی، و تقاطع سطر / ستون حاوی این رویداد است که به حالت بعدی خاص منجر خواهد شد.
انتقال همزمان در چندین دستگاه حالت محدود را می توان در آن چیزی است که به طور مؤثر یک حالت جدول انتقال n بعدی نشان داده شده است که در آن جفت از نقشه ردیف ( مجموعه ) ایالات در حال حاضر به حالت های بعدی. این یک جایگزین به نمایندگی از ارتباط بین جداگانه، ماشین های به هم وابسته است. در دیگر، جداول جداگانه برای هر یک از انتقال در دستگاه حالت واحد استفاده شده است: "AND / OR جدول" شبیه به جدول تصمیم گیری ناقص است که در آن تصمیم گیری برای قوانین است که حاضر است به طور ضمنی فعال شدن مرتبط انتقال.
نمونه ای از یک جدول انتقال حالت را برای M دستگاه همراه با نمودار حالت متناظر زیر آورده شده است.
همه ورودی های ممکن برای دستگاه ها در سراسر ستون از جدول را برشمرده است. تمام حالات ممکن در سراسر ردیف را برشمرده است. از جدول انتقال حالت داده شده در بالا، از آن آسان است برای دیدن است که اگر دستگاه در S1 ( سطر اول ) و ورودی بعدی کاراکتر 1 باشد، دستگاه در S1 خواهد ماند. اگر یک کاراکتر 0 می رسد، دستگاه را به S2 انتقال به عنوان را می توان از ستون دوم دیده می شود. در نمودار این است که توسط فلش از S1 به S2 نشاندار شده با 0 نشان داده می شود. برای یک ماشین متناهی غیرقطعی ( NFA ) ، یک ورودی جدید ممکن است باعث شود تا دستگاه در بیش از یک حالت باشد، از این رو خود را غیر جبر. این است که در جدول انتقال حالت توسط یک جفت آکولاد {} با مجموعه ای از تمام کشورهای مورد نظر بین آن ها می شود. یک مثال در زیر آورده شده است.