در این پایان نامه روش جدیدی برای قطعی سازی اتوماتای متناهی فازی با درجه عضویت در مشبکه های مانده ای کامل ارائه می شود. در مقایسه با روش های پیشین که توسط بلهولاوک [2] ، لی و پدریسز [18]بررسی گردیده، در این روش اتوماتای کوچکتری مورد بررسی قرار می گیرد. در برخی شرایط که در روش های قبلی نتیجه روی اتوماتای نامتناهی حاصل می شد، در این روش نتیجه روی اتوماتای متناهی حاصل می شود. در ادامه نشان می دهیم قطعی سازی اتوماتای فازی ارتباط نزدیکی با همنهشتی های راست فازی روی مونوئید آزاد و اتوماتای فازی مرتبط با آنها دارد، و همچنین نشان می دهیم که بخش صریح از اتوماتای فازی وابسته به رابطه ی هم نهشتی فازی آغازین، یک اتوماتای قطعی است و با اتوماتای فازی قطعی که توسط ساختار زیرمجموعه ای فازی قابل دسترس، به دست آمد، یکریخت است. و همچنین نشان می دهیم قطعی سازی اتوماتای فازی ارتباط نزدیکی با مفهوم هم نهشتی راست فازی نرود از یک اتوماتای فازی دارد و در ادامه شرط دیگری روی اتوماتای a بررسی می شود که تحت آن همنهشتی راست فازی نرود، دارای شاخص متناهی می گردد.