1

The gel bottle audrey

News Discuss 
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://www.spidertattooz.com/The-GelBottle-Inc-Gel-Polish-Audrey-67oz-p17921/

Comments

    No HTML

    HTML is disabled


Who Upvoted this Story