1

Golf

cwfbpbz2efec7
We investigate the decidability of the emptiness problem for three classes of distributed automata. These devices operate on finite directed graphs. acting as networks of identical finite-state machines that communicate in an infinite sequence of synchronous rounds. The problem is shown to be decidable in LogSpace for a class of forgetful automata. https://citylocers.shop/product-category/golf/
Report this page

Comments

    HTML is allowed

Who Upvoted this Story