ماشین بوخی توسعه یافته یک نوع دیگر از ماشین بوخی در نظریه آتوماتا می باشد. تفاوت آن با ماشین بوخی شرایط پذیرش آن می باشد که در اینجا یک مجموعه از مجموعه های حالت است. یک چرخهٔ اجرا توسط این ماشین پذیرفته می شود اگر آن حداقل یک حالت از هر مجموعه از شرط پذیرش را که اغلب نامحدود است، ببیند. ماشین بوخی توسعه یافته در قدرت بیان با ماشین بوخی هم ارز است.در وارسی صوری، روش چک کردن مدل نیاز دارد تا یک ماش...
