در علوم کامپیوتر و منطق ریاضی , یک درخت اتومات نا متناهی ماشینی از وضعیت ها است که با یک ساختار درختی نا متناهی کار می کند. می توان به آن به عنوان بسط ای از یک درخت اتومات متناهی که فقط ساختار درختی متناهی را قبول می کند نگاه کرد. همچنین می توان مانند مانند گسترش برخی اتومات های نامتناهی کلمه ،مانند اتومات بوچی (به انگلیسی: Büchi authortomaton) و اتومات مولر (به انگلیسی: Muller authortomaton) نگاه...
