https://123dok.net/document/zlgvowol-pebble-weighted-automata-and-transitive-closure-logics.html