در تئوری محاسبات، اتوماتون تعیین ناپذیر متناهی یا اتوماتون غیرقابل تعیین متناهی یا یا ان اف اِی (Nondeterministic finite authortomaton - NFA) به اوتوماتون هایی گفته می شود که در مورد آن ها برای برخی از دوتایی های حالت و سمبل ورودی امکان عبور به بیشتر از یک حالت جدید اجازه داده شده باشد.NFA در بعضی موارد با نام Subshift of finite type شناخته می شود.NFA به راه های متعددی , تعمیم داده شده است:اتومات ...
