1

Pinch Bowl

mjyvqppdlhomb0
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://jalyttlers.shop/product-category/pinch-bowl/
Report this page

Comments

    HTML is allowed

Who Upvoted this Story