در نظریه اتوماتا، شاخه ای از علوم کامپیوتر نظری، ماشین های تعیین پذیر حالات متناهی (Deterministic finite-state machine) به آن دسته از ماشین های حالات متناهی اطلاق می شود که رشته متناهی از سمبل ها را می پذیرد یا رد می کند و برای هر رشته ورودی تنها محاسباتی یکتا از ماشین اتوماتا را تولید می کند. در واقع 'تعیین پذیری' در این ماشین ها به یکتایی محاسبات برمی گردد. در جستجوی ساده ترین روش ها برای نمایش ...
