اتوماتای سنگ ریزه (به انگلیسی: pebble authortomaton)، یک درخت را به عنوان ورودی می گیرد و روی گره های درخت از طریق یال ها حرکت می کند. به علاوه، این اتوماتا یک مجموعه ی متناهی با اندازه ی ثابت از «سنگ ریزه ها» دارد که از 1 تا k شماره گذاری شده اند و می تواند آن ها را روی گره های درخت بگذارد. در یک گام اتوماتا می تواند روی گره فعلی بماند، به گره پدر برود، به گره فرزند چپ یا راست برود. همین طور می ت...