EQUIVALENT AUTOMATIC STRUCTURES AND THEIR BOUNDARIES
non-deterministic asynchronous automatic structure
scientific article